if [ ! -f docs/${PKG}.htb -o ! -f docs/html/${PKG}_contents.html -o ! -f docs/${PKG}.pdf ]; then
echo "Making documentation"
- pushd doc
- make all
- popd
+ ../make-doc.sh
fi
# Prepare for archive
echo "Cleaning distribution directory ${DISTDIR}"
cd ${DISTDIR}
-rm -f upload.sh make-debian.sh make-upstream.sh cvsbp-prepare.sh
+rm -f upload.sh make-debian.sh make-upstream.sh cvsbp-prepare.sh make-doc.sh
rm -f `find . -type f -name .cvsignore`
rm -rf `find . -type d -name CVS`
rm -f `find . -type f -name '*~' -or -name '.#*' -or -name '#*#' -or -name ".*~"`