    * 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..
    * 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..

yorung/XLE,yorung/XLE,xlgames-inc/XLE,xlgames-inc/XLE,xlgames-inc/XLE,yorung/XLE,xlgames-inc/XLE,xlgames-inc/XLE,xlgames-inc/XLE,xlgames-inc/XLE,yorung/XLE,yorung/XLE,yorung/XLE,yorung/XLE,yorung/XLE,xlgames-inc/XLE