# HG changeset patch # User Martin Geisler # Date 1246703110 -7200 # Node ID a6225ac2a65686c162f03d520a11bd7d1d282953 # Parent 609b803dd2523c81e5b0d5373e2cd718b0c3a2f0# Parent 2ccb527c7b1a23f7501a4afba08daff7d7169036 merge wtih crew-stable diff -r 609b803dd252 -r a6225ac2a656 doc/gendoc.py --- 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__":