diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-01-12 00:14:53 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-02-07 22:54:41 +0100 |
| commit | 58d7909c97c1ab2457faee1d7af925ee32ad15c2 (patch) | |
| tree | f4bcb7993c29ffade5623bf610f9a5272d414538 /gnu/services/dmd.scm | |
| parent | 6fc58c6c959f0b9d6144d92c5ed9b5cf1104f07a (diff) | |
| download | guix-version-1.0.1.tar.gz | |
doc: Make sure 'htmlxref.cnf' is honored. version-1.0.1
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 'gnu/services/dmd.scm')
0 files changed, 0 insertions, 0 deletions