log doc/gendoc.py @ 9317:8c1df18452aa

age author description
Wed, 05 Aug 2009 16:32:38 +0200 Dirkjan Ochtman Backed out changeset 5724cd7b3688 (depends on other changes, no tests)
Wed, 05 Aug 2009 14:44:36 +0200 Cédric Duval gendoc: documentation section describing available extensions
Sun, 02 Aug 2009 17:42:36 +0200 Martin Geisler gendoc: make anchors for help topic names
Fri, 31 Jul 2009 11:40:03 +0200 Martin Geisler gendoc: rename underlined/bold to section/subsection
Fri, 24 Jul 2009 15:28:29 +0200 Martin Geisler Merge with crew-stable
Fri, 24 Jul 2009 12:20:40 +0200 Cédric Duval gendoc: don't translate topic strings twice (issue1760)
Thu, 16 Jul 2009 23:25:26 +0200 Martin Geisler doc: use reStructuredText for man and HTML pages