Commit a8199d608fcba1707a14da59b4bed91c77285dc1

David Turner 2002-08-21T21:36:26

* src/tools/docmaker/docmaker.py, src/tools/docmaker/utils.py, src/tools/docmaker/tohtml.py: updating the DocMaker tool