Index: doc/default.html --- doc/default.html.orig 2003-03-13 22:35:58.000000000 +0100 +++ doc/default.html 2004-01-08 20:40:54.000000000 +0100 @@ -1,7 +1,7 @@