diff options
Diffstat (limited to 'doc/make_doc.sh')
-rw-r--r-- | doc/make_doc.sh | 16 |
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" - |