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__":