diff options
Diffstat (limited to 'docs/make.sh')
-rwxr-xr-x | docs/make.sh | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/docs/make.sh b/docs/make.sh index 42bb7fc..da3cacc 100755 --- a/docs/make.sh +++ b/docs/make.sh @@ -1,5 +1,5 @@ #! /bin/bash -PAGES=(ethernet features wireless) +PAGES=(features netcfg netcfg-profiles) make_page() { echo '<html><body>' @@ -7,16 +7,20 @@ make_page() { echo '</body></html>' } +# HTML page generation for page in ${PAGES[@]}; do rm -f ${page}.html if which pandoc &>/dev/null; then - pandoc -s --toc -w html --email-obfuscation=javascript -c header.css -o ${page}.html $page + pandoc -s --toc -w html --email-obfuscation=javascript -c header.css -o ${page}.html $page.txt else - make_page $page > ${page}.html + make_page $page.txt > ${page}.html fi done # Generate manpages if which pandoc &>/dev/null; then pandoc -s -w man -o netcfg.8 netcfg.txt + pandoc -s -w man -o netcfg-profiles.5 netcfg-profiles.txt fi + +# vim: set ts=4 sw=4 et tw=0: |