Commit Graph

18 Commits

Author SHA1 Message Date
Peter Wemm
fce15c9ab3 Revert $FreeBSD$ to $Id$ 1997-02-22 15:48:31 +00:00
Jordan K. Hubbard
1130b656e5 Make the long-awaited change from $Id$ to $FreeBSD$
This will make a number of things easier in the future, as well as (finally!)
avoiding the Id-smashing problem which has plagued developers for so long.

Boy, I'm glad we're not using sup anymore.  This update would have been
insane otherwise.
1997-01-14 07:20:47 +00:00
Peter Wemm
24f481e12f 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.
1997-01-12 08:10:55 +00:00
Joshua Peck Macdonald
0e4dbbc03c Add the missing annotations. 1997-01-11 03:07:52 +00:00
Andrey A. Chernov
8ef1c5d67a Add -f to ln 1997-01-06 19:27:17 +00:00
Andrey A. Chernov
42446c543a Use contrib version now 1997-01-05 16:19:58 +00:00
Peter Wemm
a5b996a7ec recording cvs-1.6 file death 1995-12-30 19:02:48 +00:00
Andrey A. Chernov
0efbb29eec Upgrade 1995-03-17 01:40:52 +00:00
Andrey A. Chernov
82c1981ce5 Back out prev fix, now fixed in bsd.info.mk 1995-01-07 16:42:39 +00:00
Andrey A. Chernov
ca6887fcae Fix "make" vs "make all" 1995-01-07 01:08:54 +00:00
Andrey A. Chernov
9c596ee78f Fix format error 1995-01-04 22:21:06 +00:00
Andrey A. Chernov
687af2f4b8 Add dependances 1995-01-04 22:19:34 +00:00
Andrey A. Chernov
6f2b954ba5 Install infopages 1995-01-04 22:16:14 +00:00
Andrey A. Chernov
1d4039c723 Upgrade to version 2.0 1994-12-06 03:16:45 +00:00
Andrey A. Chernov
9e9eefe958 Upgrade to readline 2.0 from bash1.14.1 1994-05-13 15:48:04 +00:00
Andrey A. Chernov
9cadef18e6 Merged with new readline 2.0 from bash 1994-05-09 23:24:44 +00:00
Andrey A. Chernov
ce4acff5b6 Merge with much improved version from gdb4.11 1994-05-09 20:36:08 +00:00
Andrey A. Chernov
8a67c71748 Port readline lib into gnu system tree.
Really we don't need copy of this library into each program
(gdb f.e.)

P.S. it is much cleaner port than /usr/ports version and based
on /usr/ports version. /usr/ports version will be removed.
1994-05-09 15:59:10 +00:00