Manually copied the doc_builder module from the bieri_gui branch.
The command used was: svn cp svn+ssh://bugman@.../svn/relax/branches/bieri_gui/doc_builder.py .
This is necessary as the merge process was not clean :S
Authored by: bugman 2011-01-21
Parent: [r12391]
Child: [r12393]
