Adds installation of checkgen.html in $(docdir).