aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2020-01-12 00:14:53 +0100
committerLudovic Courtès <ludo@gnu.org>2020-01-12 00:19:10 +0100
commitf9e0488c5002d3a102243583e408fa5f54b826eb (patch)
treec2f28837942b58048504f4bd58835cad9ec4434a /doc
parent30d83f445b70ebce7f01eaa91c8f418ff0a98321 (diff)
downloadguix-f9e0488c5002d3a102243583e408fa5f54b826eb.tar
guix-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.
Diffstat (limited to 'doc')
-rw-r--r--doc/build.scm7
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"