mirror of
https://github.com/rkd77/elinks.git
synced 2025-02-02 15:09:23 -05:00
Merge branch 'master' of ssh://pasky.or.cz/srv/git/elinks
This commit is contained in:
commit
f690141cab
@ -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
|
||||
|
Loading…
x
Reference in New Issue
Block a user