diff options
author | David Paleino <dapal@debian.org> | 2012-01-08 00:19:18 +0100 |
---|---|---|
committer | David Paleino <dapal@debian.org> | 2012-01-08 00:19:18 +0100 |
commit | c3d398fcc6e400be546c28eb1fc25abfa5816eac (patch) | |
tree | 3266a00f1037eb5522f1f8bf1a73e443ab2c26c4 /doc/makeHtml.sh | |
parent | 2c8171c38d87ddef31c92a76547d3fdf773a1337 (diff) | |
download | bash-completion-c3d398fcc6e400be546c28eb1fc25abfa5816eac.tar.gz |
Imported Upstream version 1.99upstream/1.99
Diffstat (limited to 'doc/makeHtml.sh')
-rwxr-xr-x | doc/makeHtml.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/makeHtml.sh b/doc/makeHtml.sh new file mode 100755 index 00000000..79780eb6 --- /dev/null +++ b/doc/makeHtml.sh @@ -0,0 +1,4 @@ +#!/bin/bash -eu + +[ -d html~ ] || mkdir html~ +a2x -D html~ -d book -f xhtml --asciidoc-opts="--unsafe" main.txt |