mirror of
https://github.com/godotengine/godot.git
synced 2024-11-27 09:16:35 +08:00
18 lines
405 B
Bash
Executable File
18 lines
405 B
Bash
Executable File
#! /bin/bash
|
|
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"
|
|
|