--- Begin Message ---
|
Subject: |
[PATCH]: website: Convert old style sheets into a theme |
|
Date: |
Wed, 13 Mar 2024 20:44:01 +0000 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.15.0 |
Hi,
This is a patch for the guix-artwork repository.
NOTE: If this patch is applied, other HTML resources apart from the
website (like HTML versions of the Guix manual) will have to be updated
to use the new location of stylesheets and other assets they depend upon.
Cheers,
--
Luis Felipe López Acevedo
https://luis-felipe.gitlab.io/
0001-website-Convert-old-style-sheets-into-a-theme.patch
Description: Text Data
OpenPGP_0x0AB0D067012F08C3.asc
Description: OpenPGP public key
OpenPGP_signature
Description: OpenPGP digital signature
--- End Message ---
--- Begin Message ---
|
Subject: |
Re: [bug#69783] [PATCH] doc: build: Update paths to style sheets. |
|
Date: |
Sat, 16 Mar 2024 10:34:24 +0100 |
Hello,
sirgazil--- via Guix-patches via <guix-patches@gnu.org> writes:
> From: Luis Felipe <sirgazil@zoho.com>
>
> The Guix website style sheets are now organized in themes. This change
> makes the documentation builder use the resources provided by a theme
> called "initial" (See https://issues.guix.gnu.org/69783).
>
> * doc/build.scm (syntax-highlighted-html): Update path to CSS.
> (html-manual-indexes): Likewise.
> (stylized-html): Likewise, and update path to language picker image.
>
> Change-Id: Ib2d51fcfdec42ad827add1ead1cfee4c9c4e65b7
I was looking at this patch set and found that this has been commited as
999bfa0d543c539e4554797deaf2f447dddf3796 (Fri Mar 15 23:22:45 2024)
I'm closing this bug, if I'm doing something wrong please reopen it! :-)
Thanks! Gio'
--
Giovanni Biscuolo
Xelera IT Infrastructures
signature.asc
Description: PGP signature
--- End Message ---