diff -r a39d8abd899a -r 9d1a480ca6ea doc/gendoc.py
--- a/doc/gendoc.py	Tue Oct 20 22:39:37 2009 +0200
+++ b/doc/gendoc.py	Tue Oct 20 22:42:49 2009 +0200
@@ -50,7 +50,7 @@
             s += ' ' + attr[2]
         else:
             s = attr[2]
-    d['synopsis'] = s
+    d['synopsis'] = s.strip()
 
     return d