HCoop
/
jackhill
/
guix
/
guix.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
ae18508
)
doc: Warn about missing entries in htmlxref.cnf.
author
Ludovic Courtès
<ludo@gnu.org>
Sat, 4 May 2019 20:35:23 +0000
(22:35 +0200)
committer
Ludovic Courtès
<ludo@gnu.org>
Sat, 4 May 2019 21:07:38 +0000
(23:07 +0200)
* doc/local.mk (AM_MAKEINFOHTMLFLAGS): New variable.
doc/local.mk
patch
|
blob
|
blame
|
history
diff --git
a/doc/local.mk
b/doc/local.mk
index
51800bb
..
ed87638
100644
(file)
--- a/
doc/local.mk
+++ b/
doc/local.mk
@@
-122,6
+122,10
@@
dist_infoimage_DATA = \
%D%/images/installer-partitions.png \
%D%/images/installer-resume.png
+# Ask for warnings about cross-referenced manuals that are not listed in
+# htmlxref.cnf.
+AM_MAKEINFOHTMLFLAGS = --set-customization-variable CHECK_HTMLXREF=true
+
# Try hard to obtain an image size and aspect that's reasonable for inclusion
# in an Info or PDF document.
DOT_OPTIONS = \