diff options
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/usr.bin/gdb/doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/usr.bin/gdb/doc/Makefile b/gnu/usr.bin/gdb/doc/Makefile index 2f5b55751e83..af61ced536d0 100644 --- a/gnu/usr.bin/gdb/doc/Makefile +++ b/gnu/usr.bin/gdb/doc/Makefile @@ -1,4 +1,4 @@ -INFO = gdb gdbint stabs +INFO = gdb gdbint stabs annotate MAKEINFOFLAGS += -I ${.CURDIR}/../../../lib/libreadline/doc .include <bsd.info.mk> |