Hash :
bc891834
Author :
Date :
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..