diff options
Diffstat (limited to 'scripts/runtohtml.sh')
| -rw-r--r-- | scripts/runtohtml.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/runtohtml.sh b/scripts/runtohtml.sh index cd1fee90..918eb652 100644 --- a/scripts/runtohtml.sh +++ b/scripts/runtohtml.sh @@ -2,7 +2,7 @@ rm -rf docs/browse -FILES=$(find include source platform -name '*.[ch]') +FILES=$(find include source platform -name '*.[chm]') echo running ctags to make xref ctags -x $FILES > tags-xref @@ -12,7 +12,7 @@ do output=docs/browse/$input.html mkdir -p $(dirname $output) echo $input $output - python scripts/tohtml.py < $input > $output + python scripts/tohtml.py $input < $input > $output done rm tags-xref |