diff options
Diffstat (limited to 'docs/make.sh')
-rwxr-xr-x | docs/make.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/docs/make.sh b/docs/make.sh index 76a30af..42bb7fc 100755 --- a/docs/make.sh +++ b/docs/make.sh @@ -9,9 +9,14 @@ make_page() { for page in ${PAGES[@]}; do rm -f ${page}.html - if [ -f /usr/bin/pandoc ]; then + if which pandoc &>/dev/null; then pandoc -s --toc -w html --email-obfuscation=javascript -c header.css -o ${page}.html $page else make_page $page > ${page}.html fi done + +# Generate manpages +if which pandoc &>/dev/null; then + pandoc -s -w man -o netcfg.8 netcfg.txt +fi |