remove old HTML footer
authorSimon Marlow <marlowsd@gmail.com>
Wed, 28 Apr 2010 12:43:53 +0000 (12:43 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Wed, 28 Apr 2010 12:43:53 +0000 (12:43 +0000)
report/html.config

index 0e8154a..474447f 100644 (file)
@@ -44,7 +44,7 @@ style=article
 ~nxt=<a href="~next.html">next</a>
 ~funct=<a href="prelude-index.html">function index</a>
 ~contents=<a href="indexprime.html">contents</a>
-~foot=<br><font size=2>Working Draft (2007)</font>
+~foot=<!-- empty -->
 ~footer=<hr>~id~top | ~back | ~nxt | ~contents | ~funct ~foot
 ~sfooter=<hr>~id~top | back | ~nxt | ~contents | ~funct ~foot
 ~efooter=<hr>~id~top | ~back | next | ~contents | ~funct ~foot