Commit bc891834b827991be2071d50d8d09519637fc26d
2001-05-08T07:48:33
* docs/docmaker.py: updated the DocMaker script in order to add command line options (--output,--prefix,--title), fix the erroneous line numbers reported during errors and warnings, and other formatting issues..