diff options
Diffstat (limited to '')
| -rwxr-xr-x | doc/makeHtml.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/makeHtml.sh b/doc/makeHtml.sh deleted file mode 100755 index 79780eb..0000000 --- a/doc/makeHtml.sh +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/bash -eu - -[ -d html~ ] || mkdir html~ -a2x -D html~ -d book -f xhtml --asciidoc-opts="--unsafe" main.txt |