grub-devel
[Top][All Lists]
Advanced

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

Re: [PATCH v2 2/2] configure.ac: Make the DJVU_FONT_SOURCE configurable


From: Daniel Kiper
Subject: Re: [PATCH v2 2/2] configure.ac: Make the DJVU_FONT_SOURCE configurable as --with-dejavufont=FILE
Date: Mon, 23 Oct 2023 16:27:10 +0200
User-agent: NeoMutt/20170113 (1.7.2)

On Thu, Oct 19, 2023 at 03:22:52PM +0200, Richard Marko wrote:
> Fonts might be located in different locations,
> the default fonts (Unifont and DejaVu Sans) are not available
> on all systems or other fonts might be preferred
>
> Signed-off-by: Richard Marko <srk@48.io>

Reviewed-by: Daniel Kiper <daniel.kiper@oracle.com>

Thank you for adding these features.

Daniel



reply via email to

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