diff options
| author | mpp <mpp@FreeBSD.org> | 1996-02-08 18:27:07 +0000 |
|---|---|---|
| committer | mpp <mpp@FreeBSD.org> | 1996-02-08 18:27:07 +0000 |
| commit | 380c7bb904accadf05ab65118e6a9a672bc7dc05 (patch) | |
| tree | 44017a03afd502309693189f996c18752b831525 /share | |
| parent | d49fe2834018ac7b1019efcceca4eea655635376 (diff) | |
| download | FreeBSD-src-380c7bb904accadf05ab65118e6a9a672bc7dc05.zip FreeBSD-src-380c7bb904accadf05ab65118e6a9a672bc7dc05.tar.gz | |
Make sure that the --no-split flag gets passed to makeinfo.
Fixes PR # 1003 (gdb info files don't work).
Diffstat (limited to 'share')
| -rw-r--r-- | share/mk/bsd.info.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/share/mk/bsd.info.mk b/share/mk/bsd.info.mk index 6ca024f..afb8806 100644 --- a/share/mk/bsd.info.mk +++ b/share/mk/bsd.info.mk @@ -1,9 +1,9 @@ -# $Id: bsd.info.mk,v 1.14 1995/07/26 13:51:46 wollman Exp $ +# $Id: bsd.info.mk,v 1.15 1995/07/27 15:03:27 wollman Exp $ BINMODE= 444 BINDIR?= /usr/share/info MAKEINFO?= makeinfo -MAKEINFOFLAGS?= --no-split # simplify some things, e.g., compression +MAKEINFOFLAGS+= --no-split # simplify some things, e.g., compression .MAIN: all |
