diff options
| -rw-r--r-- | gnu/lib/libreadline/doc/Makefile | 18 |
1 files changed, 6 insertions, 12 deletions
diff --git a/gnu/lib/libreadline/doc/Makefile b/gnu/lib/libreadline/doc/Makefile index 9797fd4..d87c544 100644 --- a/gnu/lib/libreadline/doc/Makefile +++ b/gnu/lib/libreadline/doc/Makefile @@ -1,18 +1,12 @@ -# $Id: Makefile,v 1.8 1997/01/05 16:19:35 ache Exp $ +INFO = history readline -SRCDIR= ${.CURDIR}/../../../../contrib/libreadline/doc +INFOSECTION= "Programming & development tools." +INFOENTRY_readline= "* Readline: (readline). The GNU Readline library" +INFOENTRY_history= "* History: (history). The GNU History library." -INFO= history readline -CLEANFILES= hist.info rlman.info -hist.info: hstech.texinfo hsuser.texinfo -rlman.info: rltech.texinfo rluser.texinfo - -history.info: hist.info - ln -f $> $@ - -readline.info: rlman.info - ln -f $> $@ +history.info: hstech.texinfo hsuser.texinfo +readline.info: rltech.texinfo rluser.texinfo .include <bsd.info.mk> |
