Auto generation of MANUAL.html and MANUAL.pdf