diff options
Diffstat (limited to 'gnu/usr.bin')
| -rw-r--r-- | gnu/usr.bin/grep/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gnu/usr.bin/grep/Makefile b/gnu/usr.bin/grep/Makefile index b1875fedabe5..60dddfea297f 100644 --- a/gnu/usr.bin/grep/Makefile +++ b/gnu/usr.bin/grep/Makefile @@ -25,7 +25,9 @@ LINKS+= ${BINDIR}/grep ${BINDIR}/zgrep \ MLINKS+=grep.1 zgrep.1 grep.1 zegrep.1 grep.1 zfgrep.1 .endif -SUBDIR+=doc +# XXX: cannot build docs until our texinfo system is updated to understand +# "command{foo}". +# SUBDIR+=doc check: all @failed=0; total=0; \ |