[gentoo-commits] proj/genkernel:master commit in: /

[Thomas Deutschmann]

commit:     1647b1a27c50b419010ef39f55b55328a6500077
Author:     Thomas Deutschmann <whissi <AT> gentoo <DOT> org>
AuthorDate: Mon Mar 25 01:24:47 2019 +0000
Commit:     Thomas Deutschmann <whissi <AT> gentoo <DOT> org>
CommitDate: Mon Mar 25 01:34:10 2019 +0000
URL:        https://gitweb.gentoo.org/proj/genkernel.git/commit/?id=1647b1a2

Makefile: Update verify-doc target

Signed-off-by: Thomas Deutschmann <whissi <AT> gentoo.org>

 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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 \