Move documentation python tools to doc/tools folder

2024-11-22 04:06:14 +00:00 · 2015-12-12 23:30:45 +01:00 · 2015-12-12 23:30:45 +01:00 · aeb5ea5934
commit aeb5ea5934
parent fb00cee33b
11 changed files with 1 additions and 13627 deletions
--- 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"

--- a/tools/docdump/doc_merge.py
+++ b/tools/docdump/doc_merge.py
--- a/tools/docdump/locales/es/LC_MESSAGES/makedocs.mo
+++ b/tools/docdump/locales/es/LC_MESSAGES/makedocs.mo
--- a/tools/docdump/locales/es/LC_MESSAGES/makedocs.po
+++ b/tools/docdump/locales/es/LC_MESSAGES/makedocs.po
--- a/tools/docdump/main.css
+++ b/tools/docdump/main.css
--- a/tools/docdump/makedocs.pot
+++ b/tools/docdump/makedocs.pot
--- a/tools/docdump/makedocs.py
+++ b/tools/docdump/makedocs.py
--- a/tools/docdump/makedoku.py
+++ b/tools/docdump/makedoku.py
--- a/tools/docdump/makehtml.py
+++ b/tools/docdump/makehtml.py
--- a/tools/docdump/makemd.py
+++ b/tools/docdump/makemd.py
--- a/tools/docdump/class_list.xml
+++ b/tools/docdump/class_list.xml