summaryrefslogtreecommitdiff
path: root/doc/make_doc.sh
diff options
context:
space:
mode:
Diffstat (limited to 'doc/make_doc.sh')
-rw-r--r--doc/make_doc.sh16
1 files changed, 0 insertions, 16 deletions
diff --git a/doc/make_doc.sh b/doc/make_doc.sh
deleted file mode 100644
index 5d0c1a9c2f..0000000000
--- a/doc/make_doc.sh
+++ /dev/null
@@ -1,16 +0,0 @@
-#! /bin/bash
-here="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
-godotHome=$(dirname "$here")
-docTarget=${here}/html/class_list
-
-throw() {
- echo "$@" >&2
- exit 1
-}
-
-[ -d "$docTarget" ] || mkdir -p "$docTarget" || throw "Could not create doc target $docTarget"
-
-cd "$docTarget"
-python ${here}/makehtml.py -multipage ${here}/base/classes.xml
-cd "$here"
-