]> git.ipfire.org Git - thirdparty/grub.git/commit
projects / thirdparty / grub.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d6631d) | patch
configure: Make the DJVU_FONT_SOURCE configurable with --with-dejavufont=FILE
authorRichard Marko <srk@48.io>
Thu, 19 Oct 2023 13:22:52 +0000 (15:22 +0200)
committerDaniel Kiper <daniel.kiper@oracle.com>
Mon, 30 Oct 2023 17:19:07 +0000 (18:19 +0100)
commit85e40b36ed454ef39194e39a13dd138b138909c4
tree8cec1367b52bf8e6b37e94de9d42a01b6f800e7etree
parent2d6631d2afef9ca7a4da54f59e7c88c307bce351commit | diff
configure: Make the DJVU_FONT_SOURCE configurable with --with-dejavufont=FILE

Font might be located in different location, the default font might
not be available on all systems or other font might be preferred.

Signed-off-by: Richard Marko <srk@48.io>
Reviewed-by: Daniel Kiper <daniel.kiper@oracle.com>
configure.ac diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/grub.git