diff options
| author | Robin Gareus <robin@gareus.org> | 2019-08-24 02:38:14 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2019-08-24 03:32:47 +0200 |
| commit | ab62c8a926360a0de62750a264d88b4aaa93b2b9 (patch) | |
| tree | bfe50067425a8deea8b36ebb8959c2797501ffd9 /tools/update_luadoc.sh | |
| parent | 89f0e70b82269fe582fb727dc88cb1b3825ce0b4 (diff) | |
Towards fixing luadoc, manual page creation
Diffstat (limited to 'tools/update_luadoc.sh')
| -rwxr-xr-x | tools/update_luadoc.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/update_luadoc.sh b/tools/update_luadoc.sh index 258e9a2341..73b281d9e0 100755 --- a/tools/update_luadoc.sh +++ b/tools/update_luadoc.sh @@ -22,7 +22,7 @@ if test -f $AMANUAL/include/class-reference.html; then php $DIR/fmt-luadoc.php -m > $AMANUAL/include/class-reference.html ls -l $AMANUAL/include/class-reference.html cd $AMANUAL/ - ./build.py + ./build.py --nopdf else php $DIR/fmt-luadoc.php > /tmp/luadoc.html ls -l /tmp/luadoc.html |