HCoop / jackhill / guix / guix.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 30d83f4) | patch
doc: Make sure 'htmlxref.cnf' is honored.
authorLudovic Courtès <ludo@gnu.org>
Sat, 11 Jan 2020 23:14:53 +0000 (00:14 +0100)
committerLudovic Courtès <ludo@gnu.org>
Sat, 11 Jan 2020 23:19:10 +0000 (00:19 +0100)
commitf9e0488c5002d3a102243583e408fa5f54b826eb
treec2f28837942b58048504f4bd58835cad9ec4434atree | snapshot (tar.gz zip)
parent30d83f445b70ebce7f01eaa91c8f418ff0a98321commit | 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.
doc/build.scm diff | blob | blame | history
jackhill's copy of GNU Guix: https://guix.gnu.org/