[Gawkextlib-developer] gawk-xml: install also the xhtml2(man|texi).awk utilities

[Manuel C. <mco...@gm...>]

These utility scripts can generate man pages and/or texi chapters or 
sections from a single disciplined XHTML source. Until now they have 
been used internally to build part of the gawk-xml documentation. It 
should be probably useful to add them to the installed files, so they 
could be publicly used in other contexts.

If nobody object I'll document them, modify the Makefiles and push the 
changes to the repo.

In this case, should the version number be updated?

Regards.
-- 
Manuel Collado - http://mcollado.z15.es