From 549ebc70a9098723bd64283311ea766ecc516f9d Mon Sep 17 00:00:00 2001 From: Miloslav Ciz Date: Wed, 29 Jun 2022 21:10:15 +0200 Subject: [PATCH] Update --- make_html.sh | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/make_html.sh b/make_html.sh index dbda96f..575fcbb 100755 --- a/make_html.sh +++ b/make_html.sh @@ -7,7 +7,7 @@ mkdir html DATE=`date +"%D"` FILELIST="filelist.html" -HEADER="LRS Wiki

less_retarded_wiki

main page, file list, source, last updated on $DATE
" +HEADER="LRS Wiki

less_retarded_wiki

main page, file list, source, single page HTML, last updated on $DATE
" FOOTER="

All content available under CC0 1.0 (public domain). Send comments and corrections to drummyfish at disroot dot org.

" echo "$HEADER $FOOTER" >> html/$FILELIST cp style.css html/ +./make_html_single.sh + +cp ./lrs_wiki.html html/lrs_wiki_full.html + echo "done"