diff options
| author |   Thomas Deutschmann <whissi@gentoo.org> | 2019-03-25 02:24:47 +0100 |
|---|---|---|
| committer | Thomas Deutschmann <whissi@gentoo.org> | 2019-03-25 02:34:10 +0100 |
| commit | 1647b1a27c50b419010ef39f55b55328a6500077 (patch) | |
| tree | d427a198d63f596109305cc637d3a01379505ee8 | |
| parent | man page: Update (diff) | |
| download | genkernel-1647b1a27c50b419010ef39f55b55328a6500077.tar.gz genkernel-1647b1a27c50b419010ef39f55b55328a6500077.tar.bz2 genkernel-1647b1a27c50b419010ef39f55b55328a6500077.zip | |
Makefile: Update verify-doc target
Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 \ |