tree 2e7f8cfa068c3a677e81c5bf5ce9672d89d06e16
parent ca01f8133eff5a5fe4fa542c0161c75bc702f253
author Nick Wellnhofer <wellnhofer@aevum.de> 1508848166 +0200
committer Nick Wellnhofer <wellnhofer@aevum.de> 1508848166 +0200

Add Makefile rules to rebuild HTML man pages

This should make sure that the online version of the man pages for
xmllint and xmlcatalog stay up to date. Also rebuild both HTML
documents.