From 24f481e12f8b68a427566fef0b847557e2fa7935 Mon Sep 17 00:00:00 2001 From: Peter Wemm Date: Sun, 12 Jan 1997 08:10:55 +0000 Subject: Patch up the readline info building. This one is a bit of a problem since the source name is not the same as the texinfo name so we have to use SRCS=. This means we can't build two info sets in the same directory so I've split it. --- gnu/lib/libreadline/Makefile | 4 ++-- gnu/lib/libreadline/doc/Makefile | 13 +++---------- gnu/lib/libreadline/doc/history/Makefile | 14 ++++++++++++++ gnu/lib/libreadline/doc/readline/Makefile | 14 ++++++++++++++ 4 files changed, 33 insertions(+), 12 deletions(-) create mode 100644 gnu/lib/libreadline/doc/history/Makefile create mode 100644 gnu/lib/libreadline/doc/readline/Makefile (limited to 'gnu') diff --git a/gnu/lib/libreadline/Makefile b/gnu/lib/libreadline/Makefile index ffedfabfbc4d..ad8a9efd0af5 100644 --- a/gnu/lib/libreadline/Makefile +++ b/gnu/lib/libreadline/Makefile @@ -1,9 +1,9 @@ -# $Id: Makefile,v 1.24 1997/01/05 16:16:32 ache Exp $ +# $Id: Makefile,v 1.25 1997/01/12 05:01:29 peter Exp $ SRCDIR= ${.CURDIR}/../../../contrib/libreadline .PATH: ${SRCDIR} -#SUBDIR= doc +SUBDIR= doc LIB= readline SHLIB_MAJOR= 3 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 +.include diff --git a/gnu/lib/libreadline/doc/history/Makefile b/gnu/lib/libreadline/doc/history/Makefile new file mode 100644 index 000000000000..4b8112af618d --- /dev/null +++ b/gnu/lib/libreadline/doc/history/Makefile @@ -0,0 +1,14 @@ +# $Id$ + +SRCDIR= ${.CURDIR}/../../../../../contrib/libreadline/doc + +INFO = history + +INFOSECTION= "Programming & development tools." +INFOENTRY_history= "* History: (history). The GNU History library." + +SRCS= hist.texinfo + +history.info: hist.texinfo hstech.texinfo hsuser.texinfo + +.include diff --git a/gnu/lib/libreadline/doc/readline/Makefile b/gnu/lib/libreadline/doc/readline/Makefile new file mode 100644 index 000000000000..8e5104136239 --- /dev/null +++ b/gnu/lib/libreadline/doc/readline/Makefile @@ -0,0 +1,14 @@ +# $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 -- cgit v1.3