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 ".*~"`
rm -rf ${DISTDIR}/debian
GZIP=-9 tar czf ${DISTDIR}.tar.gz ${DISTDIR}
-rm -rf ${DISTDIR}
if [ "${DISTDIR}" != "${DEBDIR}" ]; then
cp -a ${DISTDIR} ${DEBDIR}
else
-name '*.hhc' -or -name '*.hhk' -or -name '*.hpj' -or -name '*.ini' -or \
-name COPYING* -or -name catalog`
zip -rq ${DISTDIR}.zip ${DISTDIR}
-rm -r {$DISTDIR}
+rm -r ${DISTDIR}
if [ "${DISTDIR}" == "${DEBDIR}" ]; then
mv ${DEBDIR}-copy ${DEBDIR}