From c704dd3fe41d5935ae5ad89545184a10dbe378f6 Mon Sep 17 00:00:00 2001 From: "Andrey A. Chernov" Date: Sun, 19 Mar 2000 23:04:23 +0000 Subject: [PATCH] Install readline API info --- gnu/lib/libreadline/readline/doc/Makefile | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/gnu/lib/libreadline/readline/doc/Makefile b/gnu/lib/libreadline/readline/doc/Makefile index a65e339f554..bcb79109616 100644 --- a/gnu/lib/libreadline/readline/doc/Makefile +++ b/gnu/lib/libreadline/readline/doc/Makefile @@ -2,13 +2,19 @@ SRCDIR= ${.CURDIR}/../../../../../contrib/libreadline/doc -INFO = readline +INFO = readline rluserman INFOSECTION= "Programming & development tools." INFOENTRY_readline= "* Readline: (readline). The GNU Readline library" +INFOENTRY_rluserman= "* Readline: (readline). The GNU readline library API" -SRCS= rlman.texinfo +CLEANFILES += readline.texinfo readline.info: rlman.texinfo rltech.texinfo rluser.texinfo manvers.texinfo +readline.texinfo: + cp ${SRCDIR}/rlman.texinfo ${.TARGET} + +rluserman.info: rluser.texinfo manvers.texinfo + .include