manual.html

HTML file for manual page