add README and VERSION to generated HTML man pages
web: don't rely on man/ dir being named as man/