2014-02-10 02:10:30 +01:00
|
|
|
#! /bin/bash
|
2014-03-05 16:53:33 +01:00
|
|
|
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"
|
2014-02-10 02:10:30 +01:00
|
|
|
|
