guix_mirror_bot pushed a commit to branch version-1.4.0
in repository guix.

commit 4ea1538dd7bd2dd7ae518e1eb52a6510cc94ce8d
Author: Ludovic Courtès <[email protected]>
AuthorDate: Thu Jun 5 22:31:44 2025 +0200

    doc: Use CSS from guix.gnu.org.
    
    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 7238c17a68..b1ef278508 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 <[email protected]>
+;;; Copyright © 2019-2025 Ludovic Courtès <[email protected]>
 ;;; Copyright © 2020 Björn Höfling <[email protected]>
 ;;; Copyright © 2022 Maxim Cournoyer <[email protected]>
 ;;;
@@ -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=<meta name=\"viewport\" \
 content=\"width=device-width, initial-scale=1\" />"))
 
@@ -733,7 +737,7 @@ its <pre class=\"lisp\"> 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 <style>
 link, and add a menu to choose among LANGUAGES.  Use the Guix PO files found
 in SOURCE."

Reply via email to