diff --git a/make_html.sh b/make_html.sh index e0e86b0..63aeb9b 100755 --- a/make_html.sh +++ b/make_html.sh @@ -7,7 +7,7 @@ mkdir html DATE=`date +"%D"` FILELIST="filelist.html" -HEADER="
All content available under CC0 1.0 (public domain).
" echo "$HEADER