diff options
Diffstat (limited to 'gnu/lib/libreadline/doc/readline/Makefile')
| -rw-r--r-- | gnu/lib/libreadline/doc/readline/Makefile | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/gnu/lib/libreadline/doc/readline/Makefile b/gnu/lib/libreadline/doc/readline/Makefile deleted file mode 100644 index 8e5104136239d..0000000000000 --- a/gnu/lib/libreadline/doc/readline/Makefile +++ /dev/null @@ -1,14 +0,0 @@ -# $Id$ - -SRCDIR= ${.CURDIR}/../../../../../contrib/libreadline/doc - -INFO = readline - -INFOSECTION= "Programming & development tools." -INFOENTRY_readline= "* Readline: (readline). The GNU Readline library" - -SRCS= rlman.texinfo - -readline.info: rlman.texinfo rltech.texinfo rluser.texinfo - -.include <bsd.info.mk> |