From 8c19875748a30673a7ed3cb584099086921a6e68 Mon Sep 17 00:00:00 2001 From: Miloslav Ciz Date: Mon, 14 Aug 2023 20:16:37 +0200 Subject: [PATCH] Update --- make_html.sh | 19 +++++++++++++++++-- 1 file changed, 17 insertions(+), 2 deletions(-) diff --git a/make_html.sh b/make_html.sh index 40e7b66..0c8df87 100755 --- a/make_html.sh +++ b/make_html.sh @@ -8,9 +8,10 @@ mkdir html cp report.html html DATE=`date +"%D"` +FILECOUNT=`ls *.md | wc -l` FILELIST="filelist.html" -HEADER="LRS Wiki

less_retarded_wiki

main page, file list, single page HTML, source, 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.

" +HEADER="LRS Wiki

less_retarded_wiki

main page, file list ($FILECOUNT), single page HTML, source, 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 $FOOTER" >> html/$FILELIST