r1898: *** empty log message ***

[ctsim.git] / make-doc.sh

diff --git a/make-doc.sh b/make-doc.sh
new file mode 100755 (executable)
index 0000000..108534a
--- /dev/null
+++ b/make-doc.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+
+pushd doc
+make all
+popd
+rm -rf docs
+mkdir docs
+mv doc/html docs
+mv doc/ctsim.htb docs
+mv doc/ctsim.pdf docs
+mv doc/ctsim.ps docs
+pushd doc
+make clean
+popd