pdf manual

2011-04-28 12:25:04 +02:00
parent 55f124725f
commit 73c6787ffb
3 changed files with 4 additions and 2 deletions
@@ -11,6 +11,7 @@ cd usermanual
 thisdir=`pwd`
 (cd $docdir; find . -name '*.html' -print | cpio -vudp $thisdir)
 cp $docdir/docbook.css .
+cp $docdir/usermanual.pdf recoll_user_manual.pdf
 # The freebsd tool chain generates a link to book.html in the index. Too
 # lazy to check if this can be changed
 cp usermanual.html book.html