diff options
Diffstat (limited to 'docs/makewebsite.sh')
-rwxr-xr-x | docs/makewebsite.sh | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/docs/makewebsite.sh b/docs/makewebsite.sh deleted file mode 100755 index bb3d000..0000000 --- a/docs/makewebsite.sh +++ /dev/null @@ -1,7 +0,0 @@ -#! /bin/bash -PAGES=(index features netcfg netcfg-profiles) - -for page in ${PAGES[@]}; do - rm ${page}.html - pandoc --toc -w html --email-obfuscation=javascript -B website/header.html -A website/footer.html -o ${page}.html $page -done |