Parent:
[7941e1]
(diff)
Child:
[ee7d0f]
(diff)
Download this file
copydocs
19 lines (15 with data), 556 Bytes
#!/bin/sh
set -x
docdir=/home/dockes/projets/fulltext/recoll/src/doc/user/
#docdir=/Users/dockes/projets/fulltext/recoll/src/doc/user/
#(cd $docdir;make) || exit 1
test -d usermanual || mkdir usermanual || exit 1
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
#cp usermanual.html index.html