summaryrefslogtreecommitdiff
path: root/doc.am
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2016-02-21 22:27:13 +0100
committerLudovic Courtès <ludo@gnu.org>2016-02-21 22:28:20 +0100
commit49e0ca90bcccf01eca34b1e781b70b1560915c57 (patch)
treeaeed6eae224b7cc67cd93ea8a9479701328395b8 /doc.am
parentd5df6fc755156208816c4f8bdb16528dedbf78bd (diff)
downloadguix-patches-49e0ca90bcccf01eca34b1e781b70b1560915c57.tar
guix-patches-49e0ca90bcccf01eca34b1e781b70b1560915c57.tar.gz
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.am1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc.am b/doc.am
index 67da8ff8e2..127029c1ca 100644
--- a/doc.am
+++ b/doc.am
@@ -35,6 +35,7 @@ DOT_VECTOR_GRAPHICS = \
$(DOT_FILES:%.dot=%.pdf)
EXTRA_DIST += \
+ doc/htmlxref.cnf \
doc/contributing.texi \
doc/emacs.texi \
doc/fdl-1.3.texi \