diff options
Diffstat (limited to 'doc/asciidoc-helper.sh')
-rwxr-xr-x | doc/asciidoc-helper.sh | 65 |
1 files changed, 65 insertions, 0 deletions
diff --git a/doc/asciidoc-helper.sh b/doc/asciidoc-helper.sh new file mode 100755 index 0000000000..00f8b8d07f --- /dev/null +++ b/doc/asciidoc-helper.sh @@ -0,0 +1,65 @@ +#!/bin/sh + +# Copyright (c) The Tor Project, Inc. +# See LICENSE for licensing information +# Run this to generate .html.in or .1.in files from asciidoc files. +# Arguments: +# html|man asciidocpath outputfile + +set -e + +if [ $# != 3 ]; then + exit 1; +fi + +output=$3 + +if [ "$1" = "html" ]; then + input=${output%%.html.in}.1.txt + base=${output%%.html.in} + if [ "$2" != none ]; then + "$2" -d manpage -o $output $input; + else + echo "=================================="; + echo; + echo "You need asciidoc installed to be able to build the manpage."; + echo "To build without manpages, use the --disable-asciidoc argument"; + echo "when calling configure."; + echo; + echo "=================================="; + exit 1; + fi +elif [ "$1" = "man" ]; then + input=${output%%.1.in}.1.txt + base=${output%%.1.in} + + if test "$2" = none; then + echo "=================================="; + echo; + echo "You need asciidoc installed to be able to build the manpage."; + echo "To build without manpages, use the --disable-asciidoc argument"; + echo "when calling configure."; + echo; + echo "=================================="; + exit 1; + fi + if "$2" -f manpage $input; then + mv $base.1 $output; + else + cat<<EOF +================================== +You need a working asciidoc installed to be able to build the manpage. + +a2x is installed, but for some reason it isn't working. Sometimes +This happens because required docbook support files are missing. +Please install docbook-xsl, docbook-xml, and libxml2-utils (Debian) or +similar. + +Alternatively, to build without manpages, use the --disable-asciidoc +argument when calling configure. +================================== +EOF + exit 1; + fi +fi + |