r1972: *** empty log message ***

[ctsim.git] / make-upstream.sh

diff --git a/make-upstream.sh b/make-upstream.sh
index 6c0e258f7a9f09071428e1fa87e3867c00a940c8..a05fcf242f0a2c18960ba217a2e2aa3f59dca16c 100755 (executable)
--- a/make-upstream.sh
+++ b/make-upstream.sh
@@ -47,9 +47,7 @@ fi
 
 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
@@ -60,7 +58,7 @@ cp -a ${TOPDIR} ${DISTDIR}
 
 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 ".*~"`