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

Previous Next

Package: guix-patches;

Reported by: Ludovic Courtès <ludo <at> gnu.org>

Date: Tue, 27 Feb 2024 17:16:03 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

Message #8 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: [PATCH 0/3] Change fonts of the on-line manual
Date: Tue, 27 Feb 2024 22:38:08 +0100

Hi Ludo.  Thank you for improving the fonts.  Not having received the
patches yet, I can at least say that I tested the previous font issue
<https://issues.guix.gnu.org/69123> by copying the results of

cd ~/src/guix-artwork/website
guix build -f .guix.scm
cd ~/src/guix
guix build -f doc/build.scm

both to my /srv/http directory served by

         (service httpd-service-type
                  (httpd-configuration
                   (config
                    (httpd-config-file
                     (server-name "localhost")
                     (document-root "/srv/http/")
                     (extra-config (list "\
Options +Indexes"))))))

Regards,
Florian
This bug report was last modified 1 year and 82 days ago.

Previous Next

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