Create the on-line documentation
This batch file creates the on-line documentations
The souce code of the file `mkdoc.cmd' is: