guix-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug#69783] [PATCH] doc: build: Update paths to style sheets.


From: pelzflorian (Florian Pelz)
Subject: [bug#69783] [PATCH] doc: build: Update paths to style sheets.
Date: Sat, 16 Mar 2024 18:47:43 +0100
User-agent: Gnus/5.13 (Gnus v5.13)

Hrmm.  I see breakage only of the /manual hub page listing the
languages, otherwise I had checked some 14 hours ago and the manual and
site itself worked.  I see some nginx proxy pass directives that last
two days, but I think it is something different.

Luis Felipe <sirgazil@zoho.com> writes:
> (I hope I can help make the Texinfo's HTML versions of the manual
> easier to theme soon)

guix.git’s doc/build.scm says:

;; FIXME: Avoid duplicating styling info from guix-artwork.git.

That would mean downloading guix-artwork.git from within the build
script, like with a fixed-output derivation, but I do not know how to do
downloads from outside package origins beautifully and not as
confusing/unexpected as the test code for the recent fixed-output
derivation vulnerability on the Guix.gnu.org blog.

Regards,
Florian





reply via email to

[Prev in Thread] Current Thread [Next in Thread]