aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Deutschmann <whissi@gentoo.org>2019-03-25 02:24:47 +0100
committerThomas Deutschmann <whissi@gentoo.org>2019-03-25 02:34:10 +0100
commit1647b1a27c50b419010ef39f55b55328a6500077 (patch)
treed427a198d63f596109305cc637d3a01379505ee8 /Makefile
parentman page: Update (diff)
downloadgenkernel-1647b1a27c50b419010ef39f55b55328a6500077.tar.gz
genkernel-1647b1a27c50b419010ef39f55b55328a6500077.tar.bz2
genkernel-1647b1a27c50b419010ef39f55b55328a6500077.zip
Makefile: Update verify-doc target
Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index d18a3f2..4751822 100644
--- a/Makefile
+++ b/Makefile
@@ -72,7 +72,8 @@ verify-doc: doc/genkernel.8.txt
tr -s ' ' '\n' | \
sed -r \
-e 's,[[:space:]]*--(no-)?,,g' \
- -e '/bootloader/s,=grub,,g' | \
+ -e '/bootloader/s,=\(grub\|grub2\),,g' \
+ -e '/microcode/s,\[\],,g' | \
while read opt ; do \
regex="^*--(...no-...)?$$opt" ; \
if ! egrep -e "$$regex" $< -sq ; then \