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-16 17:17:02 +0200 |
| commit | 4ea1538dd7bd2dd7ae518e1eb52a6510cc94ce8d (patch) | |
| tree | 0e5e2c17799174c8bb6a8647783a57e3ffcdab8e /gnu | |
| parent | 10527dac08bd129ecff6f963aec47f43ee632b6a (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 'gnu')
0 files changed, 0 insertions, 0 deletions