GNU bug report logs - #69432
[PATCH 0/3] Change fonts of the on-line manual

Previous Next

Full log

Message #23 received at 69432 <at> debbugs.gnu.org (full text, mbox):

From: "pelzflorian (Florian Pelz)" <pelzflorian <at> pelzflorian.de>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 69432 <at> debbugs.gnu.org
Subject: Re: [bug#69432] [PATCH 1/3] website: Adjust style of web site builder.
Date: Wed, 28 Feb 2024 09:06:32 +0100

Ludovic Courtès <ludo <at> gnu.org> writes:
> * website/.guix.scm (lingua-web-site)[build]: Use ‘for-each’ and
> ‘install-file’ when copying font files.

I did not remember there’s install-file.  But with it the

>              (mkdir-p (string-append #$output "/static/base/fonts"))

became unnecessary.  Could you remove it?

Regards,
Florian

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.