doc/gendoc.py
changeset 9622 9d1a480ca6ea
parent 9485 7d6ac5d7917c
child 9792 dd1a95ccbe07
--- 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