dante
554cdf7fe9
No more core dump if _crunch section is missing in man.conf
1999-04-20 10:59:13 +00:00
mycroft
a6b6e0db55
Don't rebuild the cat page if the time stamp is the *same*; this can happen
...
just because `make install' ran quickly.
1999-04-20 05:02:36 +00:00
dante
7678969db4
catman now use config.c and config.h from usr.bin/man
1999-04-04 16:52:34 +00:00
dante
a7d911d5b7
Reference config.c and config.h from usr.bin/man
1999-04-04 16:50:47 +00:00
dante
bea7444699
Add catman.
...
It require "_crunch" section in /etc/man.conf to re-compress the compressed man pages.
It handle symbolic links, but at this time no hard links.
config files are stolen from man with few changes to support "_crunch" section.
catman.8 miss the "full moon" joke, I can't remember it, if you can pleas add it :-)
1999-04-04 10:56:38 +00:00
mrg
d23e58fc15
while catman doesn't `work' properly yet, use snprintf() when creating the
...
man paths, and add man section 9. hopefully, this program will actually
work soon.
1997-10-24 01:31:35 +00:00
lukem
149f1867d1
rcsid fascism
1997-10-18 04:36:50 +00:00
lukem
272b4a406a
getopt returns -1 not EOF, WARNSify
1997-10-18 04:11:01 +00:00
cgd
d8806814a6
specify man pages the new way.
1994-12-22 11:32:57 +00:00
cgd
c6ac3ac23a
make a bit clearer
1994-04-27 22:40:48 +00:00
cgd
dd243c0bb4
kill hard coded paths, kill typos and a couple of bogons, etc.
1994-04-27 22:37:11 +00:00
chopps
fb4bff1785
make whatis even if no formating.
1994-04-26 20:39:22 +00:00
chopps
afaaa07188
It has some form of usefullness now, still no man.conf.
1994-04-26 20:15:50 +00:00
jtc
42f840d29d
Fix spelling error in Copyright notice
1994-01-29 01:43:03 +00:00
mycroft
aee4b07b8a
Add RCS identifiers, remove some completely useless RCS logs and patchkit
...
headers, and a few other insignificant changes.
1993-08-02 17:48:44 +00:00
jtc
78df5feb47
First cut at "catman"
1993-07-27 21:29:27 +00:00