summaryrefslogtreecommitdiff
path: root/doc/make_doc.sh
diff options
context:
space:
mode:
authorJuan Linietsky <reduzio@gmail.com>2014-03-13 23:14:35 -0300
committerJuan Linietsky <reduzio@gmail.com>2014-03-13 23:14:35 -0300
commit0a717ffee270b3d2761aaae6a42c06d999a5b823 (patch)
treea52dd64a8c76e24f4734f917af3a124f4dea6d4b /doc/make_doc.sh
parent31ce3c5fd0300aac1e86bced1efc5f9ec94bdb6b (diff)
parent81757d2e977d959e6b0bc26f9fa990417ca91de9 (diff)
Merge branch 'master' of https://github.com/okamstudio/godot
Conflicts: modules/multiscript/register_types.cpp platform/android/java/src/com/android/godot/GodotLib.java
Diffstat (limited to 'doc/make_doc.sh')
-rwxr-xr-x[-rw-r--r--]doc/make_doc.sh18
1 files changed, 15 insertions, 3 deletions
diff --git a/doc/make_doc.sh b/doc/make_doc.sh
index aa9b47cd46..a76f568bfc 100644..100755
--- a/doc/make_doc.sh
+++ b/doc/make_doc.sh
@@ -1,5 +1,17 @@
#! /bin/bash
-cd html/class_list
-python ../../../tools/docdump/makehtml.py -multipage ../../base/classes.xml
-cd ../..
+here="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
+godotHome=$(dirname "$here")
+docTarget=${here}/html/class_list
+toolsRoot=${godotHome}/tools
+
+throw() {
+ echo "$@" >&2
+ exit 1
+}
+
+[ -d "$docTarget" ] || mkdir -p "$docTarget" || throw "Could not create doc target $docTarget"
+
+cd "$docTarget"
+python ${toolsRoot}/docdump/makehtml.py -multipage ${here}/base/classes.xml
+cd "$here"