3 set -e # abort on error
5 # Make documentation to put in debian package
6 # This must match prebuilt upstream documentation
8 if [ -f doc/Makefile ]; then
13 echo "Unable to build documentation for CVS checked out package"
17 # Clean checked out CVS directory
18 rm -f upload.sh make-dist.sh make-doc.sh make-upstream.sh make-debian.sh
19 rm -f `find . -type f -name .cvsignore`