summaryrefslogtreecommitdiffstats
path: root/docs/make.sh
diff options
context:
space:
mode:
Diffstat (limited to 'docs/make.sh')
-rwxr-xr-xdocs/make.sh7
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