diff options
Diffstat (limited to 'doc/asciidoc-helper.sh')
| -rwxr-xr-x | doc/asciidoc-helper.sh | 24 |
1 files changed, 23 insertions, 1 deletions
diff --git a/doc/asciidoc-helper.sh b/doc/asciidoc-helper.sh index d24b31918c..8e9e5eda3d 100755 --- a/doc/asciidoc-helper.sh +++ b/doc/asciidoc-helper.sh @@ -17,11 +17,32 @@ output=$3 if [ "$1" = "html" ]; then input=${output%%.html.in}.1.txt base=${output%%.html.in} - "$2" -d manpage -o $output $input; + 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 @@ -35,3 +56,4 @@ elif [ "$1" = "man" ]; then exit 1; fi fi + |