From aeb5ea59340f91ae445330c95429f903a8f20e8a Mon Sep 17 00:00:00 2001
From: Rémi Verschelde
Date: Sat, 12 Dec 2015 23:30:45 +0100
Subject: Move documentation python tools to doc/tools folder

---
 doc/make_doc.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'doc/make_doc.sh')

diff --git a/doc/make_doc.sh b/doc/make_doc.sh
index a76f568bf..5d0c1a9c2 100644
--- a/doc/make_doc.sh
+++ b/doc/make_doc.sh
@@ -2,7 +2,6 @@
 here="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 godotHome=$(dirname "$here")
 docTarget=${here}/html/class_list
-toolsRoot=${godotHome}/tools
 
 throw() {
     echo "$@" >&2
@@ -12,6 +11,6 @@ throw() {
 [ -d "$docTarget" ] || mkdir -p "$docTarget" || throw "Could not create doc target $docTarget"
 
 cd "$docTarget"
-python ${toolsRoot}/docdump/makehtml.py -multipage ${here}/base/classes.xml
+python ${here}/makehtml.py -multipage ${here}/base/classes.xml
 cd "$here"
 
-- 
cgit v1.2.3-70-g09d2