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