diff options
| author | Peter Wemm <peter@FreeBSD.org> | 1997-01-12 08:10:55 +0000 |
|---|---|---|
| committer | Peter Wemm <peter@FreeBSD.org> | 1997-01-12 08:10:55 +0000 |
| commit | 24f481e12f8b68a427566fef0b847557e2fa7935 (patch) | |
| tree | 270c97b43f5972a52d8e080b9cabcd5edb558952 /gnu/lib/libreadline/doc/Makefile | |
| parent | 81348c186eb312c04b229254d24176f5680a9b54 (diff) | |
Notes
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> |