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 /THANKS | |
| parent | 30d83f445b70ebce7f01eaa91c8f418ff0a98321 (diff) | |
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 'THANKS')
0 files changed, 0 insertions, 0 deletions