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 | |
| parent | 30d83f445b70ebce7f01eaa91c8f418ff0a98321 (diff) | |
| download | patches-f9e0488c5002d3a102243583e408fa5f54b826eb.tar 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.
| -rw-r--r-- | doc/build.scm | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/build.scm b/doc/build.scm index e171b539e6..8d5b58962a 100644 --- a/doc/build.scm +++ b/doc/build.scm @@ -1,5 +1,5 @@ ;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2019 Ludovic Courtès <ludo@gnu.org> +;;; Copyright © 2019, 2020 Ludovic Courtès <ludo@gnu.org> ;;; ;;; This file is part of GNU Guix. ;;; @@ -410,6 +410,11 @@ makeinfo OPTIONS." (setvbuf (current-output-port) 'line) (setvbuf (current-error-port) 'line) + ;; 'makeinfo' looks for "htmlxref.cnf" in the current directory, so + ;; copy it right here. + (copy-file (string-append #$manual-source "/htmlxref.cnf") + "htmlxref.cnf") + (for-each (lambda (language) (let* ((texi (language->texi-file-name language)) (opts `("--html" |