r2215: *** empty log message ***

[ctsim.git] / make-doc.sh

diff --git a/make-doc.sh b/make-doc.sh
deleted file mode 100755 (executable)
index 23601b4..0000000
--- a/make-doc.sh
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/bin/sh
-
-WORK_DIR=/usr/local/src/Work/ctsim
-
-pushd ${WORK_DIR} > /dev/null
-cd doc
-make all
-cd ..
-mv doc/html.tar.gz docs
-mv doc/ctsim.htb docs
-mv doc/ctsim.pdf docs
-make clean
-popd > /dev/null