diff options
| author |   Thomas Deutschmann <whissi@gentoo.org> | 2019-11-03 04:46:15 +0100 |
|---|---|---|
| committer | Thomas Deutschmann <whissi@gentoo.org> | 2019-11-24 20:59:06 +0100 |
| commit | 2ba2be900664415dc5a34cc2cfdb82ecab3c4ce5 (patch) | |
| tree | 45e54950eb3e94eb83318aceaf75b99c40cf2bf9 /Makefile | |
| parent | gen_determineargs.sh: determine_real_args(): Expand $TMPDIR (diff) | |
| download | genkernel-2ba2be900664415dc5a34cc2cfdb82ecab3c4ce5.tar.gz genkernel-2ba2be900664415dc5a34cc2cfdb82ecab3c4ce5.tar.bz2 genkernel-2ba2be900664415dc5a34cc2cfdb82ecab3c4ce5.zip | |
Add support for a custom font at boot
Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -72,6 +72,7 @@ verify-doc: doc/genkernel.8.txt tr -s ' ' '\n' | \ sed -r \ -e 's,[[:space:]]*--(no-)?,,g' \ + -e '/boot-font/s,=\(current\|<file>\|none\),,g' \ -e '/bootloader/s,=\(grub\|grub2\),,g' \ -e '/microcode/s,=\(all\|amd\|intel\),,g' \ -e '/ssh-host-keys/s,=\(create\|create-from-host\|runtime\),,g' | \ |