diff --git a/make_html.sh b/make_html.sh index 5727481..40e7b66 100755 --- a/make_html.sh +++ b/make_html.sh @@ -9,7 +9,7 @@ cp report.html html DATE=`date +"%D"` FILELIST="filelist.html" -HEADER="
All content available under CC0 1.0 (public domain). Send comments and corrections to drummyfish at disroot dot org.
" echo "$HEADER