--- trunk/doc/misc.html 2007/10/08 16:18:51 14 +++ trunk/doc/misc.html 2007/10/08 16:19:11 18 @@ -10,7 +10,7 @@