docs/make.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

#! /bin/bash
PAGES=(ethernet features wireless)

make_page() {
    echo '<html><body>'
    grep -v '^%' $1 | markdown -x def_list -x headerid /dev/stdin
    echo '</body></html>'
}

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
    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