diff options
Diffstat (limited to 'scripts/make_docs.sh')
| -rwxr-xr-x | scripts/make_docs.sh | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/scripts/make_docs.sh b/scripts/make_docs.sh index 248b3efa..a7682d30 100755 --- a/scripts/make_docs.sh +++ b/scripts/make_docs.sh @@ -1,5 +1 @@ -#!/bin/sh -docs/doctool/NaturalDocs -r -s Small -i src/ -i docs/articles -o HTML docs/output -p docs/config - -#rm -Rf ~/public_html/.docs -#cp -Rf docs/output ~/public_html/.docs +perl tools/naturaldocs/NaturalDocs -i src/engine -xi src/engine/external -p docs/conf -o html docs/output |