diff options
author | Tor Andersson <tor.andersson@artifex.com> | 2017-04-07 14:37:27 +0200 |
---|---|---|
committer | Tor Andersson <tor.andersson@artifex.com> | 2017-04-13 14:13:31 +0200 |
commit | c3400385a878c71ab9e60b7cfb88b437234ac353 (patch) | |
tree | 3d930e35501d4122c5b554064cf3b7a9328c1e08 /scripts/runtohtml.sh | |
parent | ee39a8939ee668ee192313ed32eae53f6c2bc427 (diff) | |
download | mupdf-c3400385a878c71ab9e60b7cfb88b437234ac353.tar.xz |
Remove obsolete script to create browsable source files.
Diffstat (limited to 'scripts/runtohtml.sh')
-rw-r--r-- | scripts/runtohtml.sh | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/scripts/runtohtml.sh b/scripts/runtohtml.sh deleted file mode 100644 index 918eb652..00000000 --- a/scripts/runtohtml.sh +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/bash - -rm -rf docs/browse - -FILES=$(find include source platform -name '*.[chm]') - -echo running ctags to make xref -ctags -x $FILES > tags-xref - -for input in $FILES -do - output=docs/browse/$input.html - mkdir -p $(dirname $output) - echo $input $output - python scripts/tohtml.py $input < $input > $output -done - -rm tags-xref |