doc/gendoc.py
changeset 9021 2ccb527c7b1a
parent 8546 a33d19dcf906
child 9130 335f749cc369
--- a/doc/gendoc.py	Thu Jul 02 19:53:20 2009 +0200
+++ b/doc/gendoc.py	Sat Jul 04 12:12:36 2009 +0200
@@ -103,7 +103,9 @@
         underlined(gettext(section).upper())
         if callable(doc):
             doc = doc()
-        ui.write(gettext(doc))
+        else:
+            doc = gettext(doc)
+        ui.write(doc)
         ui.write("\n")
 
 if __name__ == "__main__":