From 4ea1538dd7bd2dd7ae518e1eb52a6510cc94ce8d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= Date: Thu, 5 Jun 2025 22:31:44 +0200 Subject: [PATCH] doc: Use CSS from guix.gnu.org. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This is a followup to commit 7bbc00ccf0315a68509cacd6a85e1ae8ae7f5e5d of guix/artwork.git. * doc/build.scm (%manual-css-url): New variable. (%makeinfo-html-options): Use it instead of www.gnu.org/…/manual.css. (stylized-html): Likewise for the default #:manual-css-url. Change-Id: I20bd3866383f8cbb4984993c15dbab483a17f6c9 --- doc/build.scm | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/doc/build.scm b/doc/build.scm index 7238c17a684..b1ef278508c 100644 --- a/doc/build.scm +++ b/doc/build.scm @@ -1,5 +1,5 @@ ;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2019-2024 Ludovic Courtès +;;; Copyright © 2019-2025 Ludovic Courtès ;;; Copyright © 2020 Björn Höfling ;;; Copyright © 2022 Maxim Cournoyer ;;; @@ -295,9 +295,13 @@ as well as images, OS examples, and translations." (or (getenv "GUIX_WEB_SITE_URL") "/software/guix/")) +(define %manual-css-url + ;; URL of the main CSS file. + "/themes/initial/css/manual.css") + (define %makeinfo-html-options ;; Options passed to 'makeinfo --html'. - '("--css-ref=https://www.gnu.org/software/gnulib/manual.css" + `(,(string-append "--css-ref=" %manual-css-url) "-c" "EXTRA_HEAD=")) @@ -733,7 +737,7 @@ its 
 blocks (as produced by 'makeinfo --html')."
                         #:key
                         (languages %languages)
                         (manual %manual)
-                        (manual-css-url "/static/base/css/manual.css"))
+                        (manual-css-url %manual-css-url))
   "Process all the HTML files in INPUT; add them MANUAL-CSS-URL as a