1 files changed, 0 insertions, 18 deletions
diff --git a/scripts/runtohtml.sh b/scripts/runtohtml.sh
deleted file mode 100644
index 918eb652..00000000
--- a/scripts/runtohtml.sh
+++ /dev/null
@@ -1,18 +0,0 @@
-#!/bin/bash
-
-rm -rf docs/browse
-
-FILES=$(find include source platform -name '*.[chm]')
-
-echo running ctags to make xref
-ctags -x $FILES > tags-xref
-
-for input in $FILES
-do
-	output=docs/browse/$input.html
-	mkdir -p $(dirname $output)
-	echo $input $output
-	python scripts/tohtml.py $input < $input > $output
-done
-
-rm tags-xref