add manual.html generated from manual.org