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