Add manual.pdf.
Update index.html to add link to manual.