diff options
author | peter <peter@FreeBSD.org> | 1997-01-12 08:10:55 +0000 |
---|---|---|
committer | peter <peter@FreeBSD.org> | 1997-01-12 08:10:55 +0000 |
commit | 995435c4929ad3717457cf76bd2d104c3ca1902d (patch) | |
tree | 270c97b43f5972a52d8e080b9cabcd5edb558952 /gnu | |
parent | d6c696eb1a1e7e55fd51b007cc0b26ef26d8ac51 (diff) | |
download | FreeBSD-src-995435c4929ad3717457cf76bd2d104c3ca1902d.zip FreeBSD-src-995435c4929ad3717457cf76bd2d104c3ca1902d.tar.gz |
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.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/lib/libreadline/Makefile | 4 | ||||
-rw-r--r-- | gnu/lib/libreadline/doc/Makefile | 13 | ||||
-rw-r--r-- | gnu/lib/libreadline/doc/history/Makefile | 14 | ||||
-rw-r--r-- | gnu/lib/libreadline/doc/readline/Makefile | 14 |
4 files changed, 33 insertions, 12 deletions
diff --git a/gnu/lib/libreadline/Makefile b/gnu/lib/libreadline/Makefile index ffedfab..ad8a9ef 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 d87c544..3fa54b6 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> diff --git a/gnu/lib/libreadline/doc/history/Makefile b/gnu/lib/libreadline/doc/history/Makefile new file mode 100644 index 0000000..4b8112a --- /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 <bsd.info.mk> diff --git a/gnu/lib/libreadline/doc/readline/Makefile b/gnu/lib/libreadline/doc/readline/Makefile new file mode 100644 index 0000000..8e51041 --- /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 <bsd.info.mk> |