#!/bin/sh
# Creates HTML version of the wiki.
echo "making HTML"
rm -rf html
mkdir html
cp report.html html
DATE=`date +"%D"`
FILELIST="filelist.html"
HEADER="LRS Wiki less_retarded_wiki main page , file list , single page HTML , source , report , wiki last updated on $DATEAll content available under CC0 1.0 (public domain). Send comments and corrections to drummyfish at disroot dot org.
"
echo "$HEADER " > html/$FILELIST
for f in *.md; do
fname=$(echo "$f" | sed "s/\.md//g")
echo " $fname Go to main page. $FOOTER" >> html/index.html
echo " $FOOTER" >> html/$FILELIST
cp style.css html/
./make_html_single.sh
cp ./lrs_wiki.html html/lrs_wiki_full.html
echo "done"