|
From: | GNU bug Tracking System |
Subject: | bug#69783: closed ([PATCH]: website: Convert old style sheets into a theme) |
Date: | Sat, 16 Mar 2024 09:36:02 +0000 |
Your message dated Sat, 16 Mar 2024 10:34:24 +0100 with message-id <878r2iseov.fsf@xelera.eu> and subject line Re: [bug#69783] [PATCH] doc: build: Update paths to style sheets. has caused the debbugs.gnu.org bug report #69783, regarding [PATCH]: website: Convert old style sheets into a theme to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 69783: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=69783 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems
--- 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 DataOpenPGP_0x0AB0D067012F08C3.asc
Description: OpenPGP public keyOpenPGP_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 Infrastructuressignature.asc
Description: PGP signature
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |