(no commit message)

[shipsimu.git] / ship-simu / rebuild_doc.sh

diff --git a/ship-simu/rebuild_doc.sh b/ship-simu/rebuild_doc.sh
deleted file mode 100755 (executable)
index 697ed08..0000000
--- a/ship-simu/rebuild_doc.sh
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/bin/sh
-
-echo "$0: Cleaning up..."
-find docs/html/ -type f -exec rm -f {} \;
-rm -f docs/*.log
-echo "$0: Done."
-
-doxygen Doxyfile