add README and VERSION to generated HTML man pages