Commit ee42805e5f49ffc6c46d9f1045ca2fc63a09f246
2004-01-16T14:26:32
* src/tools/docmaker/*: updating the DocMaker tool, adding a new tool named "docbeauty" to beautify the documentation comments (e.g. convert them to a single block border mode)