r2214: *** empty log message ***

[ctsim.git] / make-doc.sh

diff --git a/make-doc.sh b/make-doc.sh
index 95f0dcc0420b3206c0befb5984662c04e4c02334..23601b4998302dda338243d251bc9d6889e151ed 100755 (executable)
--- a/make-doc.sh
+++ b/make-doc.sh
@@ -1,13 +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
-pushd doc
 make clean
-popd
+popd > /dev/null