Update

2 years ago · c8c2989c37
parent 60acfc7f43
commit c8c2989c37
1 changed files with 1 additions and 1 deletions
--- a/make_html.sh
+++ b/make_html.sh
@ -9,7 +9,7 @@ cp report.html html

 DATE=`date +"%D"`
 FILELIST="filelist.html"
-HEADER="<html><head><link rel=\"stylesheet\" href=\"style.css\"><title>LRS Wiki</title></head><body><h1>less_retarded_wiki</h1><a href=\"main.html\">main page</a>, <a href=\"$FILELIST\">file list</a>, <a href=\"lrs_wiki_full.html\">single page HTML</a>, <a href="report.html">report</a>, wiki last updated on $DATE<hr />"
+HEADER="<html><head><link rel=\"stylesheet\" href=\"style.css\"><title>LRS Wiki</title></head><body><h1>less_retarded_wiki</h1><a href=\"main.html\">main page</a>, <a href=\"$FILELIST\">file list</a>, <a href=\"lrs_wiki_full.html\">single page HTML</a>, <a href="https://repo.or.cz/less_retarded_wiki.git/snapshot/HEAD.tar.gz">source</a>, <a href="report.html">report</a>, wiki last updated on $DATE<hr />"
 FOOTER="<hr/><p>All content available under <a href=\"https://creativecommons.org/publicdomain/zero/1.0/\">CC0 1.0</a> (public domain). Send comments and corrections to drummyfish at disroot dot org. </p></body></html>"

 echo "$HEADER <ul>" > html/$FILELIST