diff options
author | Ludovic Courtès <ludo@gnu.org> | 2020-01-12 00:14:53 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2020-01-12 00:19:10 +0100 |
commit | f9e0488c5002d3a102243583e408fa5f54b826eb (patch) | |
tree | c2f28837942b58048504f4bd58835cad9ec4434a /build-aux/update-NEWS.scm | |
parent | 30d83f445b70ebce7f01eaa91c8f418ff0a98321 (diff) | |
download | guix-patches-f9e0488c5002d3a102243583e408fa5f54b826eb.tar guix-patches-f9e0488c5002d3a102243583e408fa5f54b826eb.tar.gz |
doc: Make sure 'htmlxref.cnf' is honored.
Fixes <https://bugs.gnu.org/39060>.
Reported by Tobias Geerinckx-Rice <me@tobias.gr>.
* doc/build.scm (html-manual)[build]: Copy 'htmlxref.cnf' to the current
directory so that 'makeinfo' honors it.
Diffstat (limited to 'build-aux/update-NEWS.scm')
0 files changed, 0 insertions, 0 deletions