Parent: [619361] (diff)

Child: [7941e1] (diff)

Download this file

copydocs    18 lines (14 with data), 506 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 .
# 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