Commit 09f51ecbc5b8ea418bacca4ad43a4d2d1e3ccdfb

Nick Wellnhofer 2017-10-24T14:29:26

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.