]> git.ipfire.org Git - thirdparty/grub.git/commit
projects / thirdparty / grub.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 07318ee) | patch
configure: Make the Unifont FONT_SOURCE configurable with --with-unifont=FILE
authorMads Kiilerich <mads@kiilerich.com>
Thu, 19 Oct 2023 13:22:51 +0000 (15:22 +0200)
committerDaniel Kiper <daniel.kiper@oracle.com>
Mon, 30 Oct 2023 17:08:59 +0000 (18:08 +0100)
commit2d6631d2afef9ca7a4da54f59e7c88c307bce351
tree7c7f76ae88b726e4a342f3bb242c277737f4f67atree
parent07318ee7e11a00b9c1dea4c6b4edf62af35a511acommit | diff
configure: Make the Unifont FONT_SOURCE configurable with --with-unifont=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: Mads Kiilerich <mads@kiilerich.com>
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