12/12: doc: Make sure 'htmlxref.cnf' is honored.

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit f9e0488c5002d3a102243583e408fa5f54b826eb
Author: Ludovic Courtès <address@hidden>
AuthorDate: Sun Jan 12 00:14:53 2020 +0100

    doc: Make sure 'htmlxref.cnf' is honored.
    
    Fixes <https://bugs.gnu.org/39060>.
    Reported by Tobias Geerinckx-Rice <address@hidden>.
    
    * doc/build.scm (html-manual)[build]: Copy 'htmlxref.cnf' to the current
    directory so that 'makeinfo' honors it.
---
 doc/build.scm | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/doc/build.scm b/doc/build.scm
index e171b53..8d5b589 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 <address@hidden>
+;;; Copyright © 2019, 2020 Ludovic Courtès <address@hidden>
 ;;;
 ;;; 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"