diff options
Diffstat (limited to 'gnu/lib/libreadline/doc/Makefile')
| -rw-r--r-- | gnu/lib/libreadline/doc/Makefile | 13 |
1 files changed, 3 insertions, 10 deletions
diff --git a/gnu/lib/libreadline/doc/Makefile b/gnu/lib/libreadline/doc/Makefile index d87c5443e947..3fa54b62ad7c 100644 --- a/gnu/lib/libreadline/doc/Makefile +++ b/gnu/lib/libreadline/doc/Makefile @@ -1,12 +1,5 @@ -INFO = history readline +# $Id$ -INFOSECTION= "Programming & development tools." -INFOENTRY_readline= "* Readline: (readline). The GNU Readline library" -INFOENTRY_history= "* History: (history). The GNU History library." +SUBDIR = history readline - - -history.info: hstech.texinfo hsuser.texinfo -readline.info: rltech.texinfo rluser.texinfo - -.include <bsd.info.mk> +.include <bsd.subdir.mk> |