From: Kevin M. Rosenberg <kevin@rosenberg.net>
Date: Sat, 4 May 2002 16:19:27 +0000 (+0000)
Subject: r1904: *** empty log message ***
X-Git-Tag: debian-4.5.3-3~294
X-Git-Url: http://git.kpe.io/?p=ctsim.git;a=commitdiff_plain;h=a418ba26ee40789ecfdbec3afab0a84e145a31cb

r1904: *** empty log message ***
---

diff --git a/make-dist.sh b/make-dist.sh
index 5e1fdd2..5dbf430 100755
--- 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 -a -f docs/html/${PKG}_contents.html -a -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