diff options
| -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" |