1
0
Fork 0

mkdist: Don't copy manual.html-chunked.tar.gz

This commit is contained in:
Kalle Olavi Niemitalo 2010-09-15 23:04:41 +03:00 committed by Kalle Olavi Niemitalo
parent ffcfe4a86b
commit e17e5fe435
1 changed files with 2 additions and 1 deletions

View File

@ -123,7 +123,8 @@ printf "%s\n" "$commit" > "$tmpdir/elinks/git-commit-id"
if [ -n "$docdir" ]; then
mkdir -- "$tmpdir/elinks/doc/html"
cp -r -- "$docdir"/*.html* "$tmpdir/elinks/doc/html/"
cp -r -- "$docdir"/*.html "$tmpdir/elinks/doc/html/"
cp -r -- "$docdir"/*.html-chunked "$tmpdir/elinks/doc/html/"
# mkdir doc/pdf
# cp "$docdir"/*.pdf doc/pdf
else