diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2025-06-05 22:31:44 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2025-06-05 22:42:13 +0200 |
| commit | 57ec633ea9af06d67c5565e1cab3a614052fe8f5 (patch) | |
| tree | e898d88394f752350620586cdee7933012f99d5c /doc/build.scm | |
| parent | 544ac628f598bf94a777a3fc2eed39f645f9a01d (diff) | |
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
Diffstat (limited to 'doc/build.scm')
| -rw-r--r-- | doc/build.scm | 8 |
1 files 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." |