r2088: *** empty log message ***

[ctsim.git] / make-doc.sh

diff --git a/make-doc.sh b/make-doc.sh
index 108534a054adfd6f4d991359b1b43286d3fc01e5..95f0dcc0420b3206c0befb5984662c04e4c02334 100755 (executable)
--- a/make-doc.sh
+++ b/make-doc.sh
@@ -8,7 +8,6 @@ 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