From 532f5c5a20cd7e50c4279f6c2bf1d8d07e8988e0 Mon Sep 17 00:00:00 2001 From: Miloslav Ciz Date: Sat, 3 Sep 2022 16:42:40 +0200 Subject: [PATCH] Update --- make_html.sh | 4 +++- make_html_single.sh | 2 +- report.html | 6 ++++++ 3 files changed, 10 insertions(+), 2 deletions(-) create mode 100644 report.html diff --git a/make_html.sh b/make_html.sh index 2a5574f..5727481 100755 --- a/make_html.sh +++ b/make_html.sh @@ -5,9 +5,11 @@ 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, source, single page HTML, wiki last updated on $DATE
" +HEADER="LRS Wiki

less_retarded_wiki

main page, file list, single page HTML, report, wiki 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