doc: Add Texinfo HTML cross-reference file.
authorLudovic Courtès <ludo@gnu.org>
Sun, 21 Feb 2016 21:27:13 +0000 (22:27 +0100)
committerLudovic Courtès <ludo@gnu.org>
Sun, 21 Feb 2016 21:28:20 +0000 (22:28 +0100)
commit49e0ca90bcccf01eca34b1e781b70b1560915c57
treeaeed6eae224b7cc67cd93ea8a9479701328395b8
parentd5df6fc755156208816c4f8bdb16528dedbf78bd
doc: Add Texinfo HTML cross-reference file.

Fixes <http://bugs.gnu.org/22543>.

* doc/htmlxref.cnf: New file.
* doc.am (EXTRA_DIST): Add it.
doc.am
doc/htmlxref.cnf [new file with mode: 0644]