diff -r 6b5a4c21e061 -r 2a4c2ca03555 doc/manual/en/html/node9.html --- a/doc/manual/en/html/node9.html Tue Jun 05 18:43:21 2007 +0200 +++ b/doc/manual/en/html/node9.html Wed Jun 06 09:11:29 2007 +0200 @@ -111,7 +111,7 @@