diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-02-21 22:27:13 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-02-21 22:28:20 +0100 |
| commit | 49e0ca90bcccf01eca34b1e781b70b1560915c57 (patch) | |
| tree | aeed6eae224b7cc67cd93ea8a9479701328395b8 /doc.am | |
| parent | d5df6fc755156208816c4f8bdb16528dedbf78bd (diff) | |
doc: Add Texinfo HTML cross-reference file.
Fixes <http://bugs.gnu.org/22543>.
* doc/htmlxref.cnf: New file.
* doc.am (EXTRA_DIST): Add it.
Diffstat (limited to 'doc.am')
| -rw-r--r-- | doc.am | 1 |
1 files changed, 1 insertions, 0 deletions
| @@ -35,6 +35,7 @@ DOT_VECTOR_GRAPHICS = \ | |||
| 35 | $(DOT_FILES:%.dot=%.pdf) | 35 | $(DOT_FILES:%.dot=%.pdf) |
| 36 | 36 | ||
| 37 | EXTRA_DIST += \ | 37 | EXTRA_DIST += \ |
| 38 | doc/htmlxref.cnf \ | ||
| 38 | doc/contributing.texi \ | 39 | doc/contributing.texi \ |
| 39 | doc/emacs.texi \ | 40 | doc/emacs.texi \ |
| 40 | doc/fdl-1.3.texi \ | 41 | doc/fdl-1.3.texi \ |