Install HTML manual pages into the proper directory (requires "xmllint")