[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gnu: fontconfig: Add replacement with font-dejavu instead of
|
From: |
zimoun |
|
Subject: |
Re: [PATCH] gnu: fontconfig: Add replacement with font-dejavu instead of gs-fonts. |
|
Date: |
Thu, 21 May 2020 01:35:10 +0200 |
On Wed, 20 May 2020 at 23:41, Marius Bakke <address@hidden> wrote:
> Missing fonts in the manual is another known issue and was not clear
> from your initial message: <https://issues.guix.gnu.org/issue/41418>.
My initial message was on <http://issues.guix.gnu.org/issue/41282> and
not on #41418; I have never commented on.
I do not understand why you are saying "missing font in the manual"
because I have the fonts installed; especially font-dejavu (and
gs-fonts too).
Well, I do not understand neither how c81457a588 can work nicely and
not 23a59b180b with the exact same setup, if nothing has changed in
regard to font between these 2 parent commits of the last merge.
Last, I confirm that the commit
ab9de8cfb0525ef43668712ac898707f97f9a620 fixes the issue. Thank you.
Best regards,
simon