From 43926c44661a9f8499b3fb9775e1cfdd4aef2bdf Mon Sep 17 00:00:00 2001 From: Rémy Oudompheng Date: Sun, 19 Jun 2011 21:01:55 +0200 Subject: Allow using markdown instead of pandoc, packaging fixes MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Rémy Oudompheng --- docs/make.sh | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) (limited to 'docs/make.sh') diff --git a/docs/make.sh b/docs/make.sh index 544d1f3..76a30af 100755 --- a/docs/make.sh +++ b/docs/make.sh @@ -1,7 +1,17 @@ #! /bin/bash PAGES=(ethernet features wireless) +make_page() { + echo '' + grep -v '^%' $1 | markdown -x def_list -x headerid /dev/stdin + echo '' +} + for page in ${PAGES[@]}; do - rm ${page}.html - pandoc -s --toc -w html --email-obfuscation=javascript -c header.css -o ${page}.html $page + rm -f ${page}.html + if [ -f /usr/bin/pandoc ]; then + pandoc -s --toc -w html --email-obfuscation=javascript -c header.css -o ${page}.html $page + else + make_page $page > ${page}.html + fi done -- cgit v1.2.3-24-g4f1b