[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#69783: [PATCH] doc: build: Update paths to style sheets.
From: |
Giovanni Biscuolo |
Subject: |
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
[bug#69783] [PATCH] hydra: nginx: Adjust to website themes in guix-artwork., Florian Pelz, 2024/03/17
[bug#69783] [PATCH v2 1/2] hydra: nginx: Redirect 1.4.0 manual resources due to themes move., Florian Pelz, 2024/03/24
[bug#69783] [PATCH v2 2/2] hydra: nginx: Further adjust to website themes in guix-artwork., Florian Pelz, 2024/03/24