r2215: *** empty log message ***

[ctsim.git] / debian / make-upstream.sh

diff --git a/debian/make-upstream.sh b/debian/make-upstream.sh
index ca36845277eede52d23e62a69ab8947b55236a96..e4e966005c700125a5f91def08fed2494d5cc8f2 100755 (executable)
--- a/debian/make-upstream.sh
+++ b/debian/make-upstream.sh
@@ -33,10 +33,9 @@ if [ -f ${PACKAGE_DIR}/${DEBPKG}_${VERSION}.orig.tar.gz ]; then
 fi
 
 
-if [ ! -f docs/${PKG}.htb -o ! -f docs/html/${PKG}_contents.html -o ! -f docs/${PKG}.pdf ]; then
-  echo "Making documentation"
-  ${WORK_DIR}/make-doc.sh
-fi
+echo "Making documentation"
+cd ${WORK_DIR}/doc
+make
 
 # Prepare for archive
 rm -f ${PKG}_${VERSION}.tar.gz ${DEBPKG}_${VERSION}.orig.tar.gz
@@ -46,7 +45,6 @@ cp -a ${WORK_DIR} ${DISTDIR}
 echo "Cleaning distribution directory ${DISTDIR}"
 cd ${DISTDIR}
 make distclean
-rm -f make-doc.sh 
 rm -f `find . -type f -name .cvsignore`
 rm -rf `find . -type d -name CVS -or -name .deps`
 rm -f `find . -type f -name '*~' -or -name '.#*'  -or -name '#*#' -or -name ".*~" -or -name "*.o" -or -name "*.a"`