Add manual.html.