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 | |
| parent | 6fc58c6c959f0b9d6144d92c5ed9b5cf1104f07a (diff) | |
doc: Make sure 'htmlxref.cnf' is honored.origin/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.
| -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 6326736451..a227a48274 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. ;;; @@ -203,6 +203,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 ((opts `("--html" "-c" ,(string-append "TOP_NODE_UP_URL=/manual/" |