diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-05-04 22:35:23 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-05-04 22:39:56 +0200 |
commit | 1a9fc8e2282f8360be04cbaba632d5424004fcd3 (patch) | |
tree | 8f4931de3916db42778c62a81cdf2a8a7031c8bc /nix/local.mk | |
parent | 2921b6a611a4acf5a187559dde8cf0ace3b49a10 (diff) | |
download | guix-1a9fc8e2282f8360be04cbaba632d5424004fcd3.tar.gz |
doc: Warn about missing entries in htmlxref.cnf.
* doc/local.mk (AM_MAKEINFOHTMLFLAGS): New variable.
Diffstat (limited to 'nix/local.mk')
0 files changed, 0 insertions, 0 deletions