8735ce36ca
Put RCS IDs into generated files, in the correct place.
1998-01-09 06:56:23 +00:00
b0a69d357f
Back out RCS ID related changes.
1998-01-08 00:35:35 +00:00
e6fe83471e
make script insert RCS ids into generated files
1998-01-05 19:37:08 +00:00
825e13fec1
fix bogus comment pointed out by Mike Grupenhoff <kashmir@umiacs.UMD.EDU>.
...
C-style comments aren't legal in awk (except in gawk, apparently).
1996-06-05 18:32:19 +00:00
d43ef3b959
split device info into driver name and human readable description.
1996-03-05 23:15:05 +00:00
c1c41f6bfc
add ability to define TCVERBOSE, and get "human names" about "known"
...
but unconfigured (or unsupported) devices printed at boot time.
The device list is woefully incomplete, because i didn't put much time
in it, and because i don't know good "human names" for many TC devices.
1996-03-02 01:16:47 +00:00
thorpej