r2214: *** empty log message ***

[ctsim.git] / make-doc.sh

diff --git a/make-doc.sh b/make-doc.sh
index 108534a054adfd6f4d991359b1b43286d3fc01e5..23601b4998302dda338243d251bc9d6889e151ed 100755 (executable)
--- a/make-doc.sh
+++ b/make-doc.sh
@@ -1,14 +1,13 @@
 #!/bin/sh
 
-pushd doc
+WORK_DIR=/usr/local/src/Work/ctsim
+
+pushd ${WORK_DIR} > /dev/null
+cd doc
 make all
-popd
-rm -rf docs
-mkdir docs
-mv doc/html docs
+cd ..
+mv doc/html.tar.gz docs
 mv doc/ctsim.htb docs
 mv doc/ctsim.pdf docs
-mv doc/ctsim.ps docs
-pushd doc
 make clean
-popd
+popd > /dev/null