diff -r 003cc3c63855 -r f49e5a6b7804 doc/manual/en/html/node45.html --- a/doc/manual/en/html/node45.html Fri Jun 08 09:02:43 2007 +0200 +++ b/doc/manual/en/html/node45.html Fri Jun 08 09:23:56 2007 +0200 @@ -80,7 +80,7 @@