merge wtih crew-stable
authorMartin Geisler <mg@lazybytes.net>
Sat, 04 Jul 2009 12:25:10 +0200
changeset 9022 a6225ac2a656
parent 9020 609b803dd252 (current diff)
parent 9021 2ccb527c7b1a (diff)
child 9023 cd92a6968f70
merge wtih crew-stable
--- a/doc/gendoc.py	Sat Jul 04 12:06:33 2009 +0200
+++ b/doc/gendoc.py	Sat Jul 04 12:25:10 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__":