guix_mirror_bot pushed a commit to branch master
in repository guix.
commit 57ec633ea9af06d67c5565e1cab3a614052fe8f5
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 | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/doc/build.scm b/doc/build.scm
index 2b081ae29c..56d16b6ee6 100644
--- a/doc/build.scm
+++ b/doc/build.scm
@@ -186,9 +186,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\" />"))
@@ -624,7 +628,7 @@ its <pre class=\"lisp\"> blocks (as produced by 'makeinfo
--html')."
#:key
(languages %languages)
(manual %manual)
- (manual-css-url "/themes/initial/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."
