r1942: *** empty log message ***

[ctsim.git] / make-dist.sh

diff --git a/make-dist.sh b/make-dist.sh
index 5e1fdd2eb22b0dfe1909e7bb989e536dff6644e0..5ab5bf3a56e90ea0139808556379422ba0936c7d 100755 (executable)
--- a/make-dist.sh
+++ b/make-dist.sh
@@ -1,7 +1,7 @@
 #!/bin/sh
 
 # Creates debian and system-independent archive files
-# Programmer: Kevin Rosenberg based on script used by onShore Development
+# Programmer: Kevin M. Rosenberg 
 
 set -e
 
@@ -13,17 +13,25 @@ TOPDIR=`basename $PWD`
 DISTDIR=${PKG}-${VERSION}
 DEBDIR=${DEBPKG}-${VERSION}
 
+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
+fi
+
 TAG=upstream_version_`echo $VERSION | tr . _`
 #echo "(re)tagging with release tag '$TAG'"
 #cvs -q rtag -d $TAG $PKG
 #cvs -q tag -F $TAG
 
 
-# build the tarball
-echo "building tarballs"
+echo "Preparing for archives"
 pushd ..
 rm -f ${PKG}_${VERSION}.tar.gz ${DEBPKG}_${VERSION}.orig.tar.gz
 rm -rf ${DISTDIR} ${DEBDIR} ${DISTDIR}.zip
+
+echo "Making archives"
 cp -a ${TOPDIR} ${DISTDIR}
 
 # Remove junk from distribution dir
@@ -59,7 +67,7 @@ if [ "${DISTDIR}" != "${DEBDIR}" ]; then
 fi
 cp -a ${TOPDIR}/debian ${DEBDIR}
 
-# dpkg-source ${DEBDIR} ${PKG}_${VERSION}.orig.tar.gz
+echo "Building Debian packages"
 
 pushd ${DEBDIR}
 dpkg-buildpackage -rfakeroot -kkevin@b9.com  #-tc -b