tv
|
106fae1a3a
|
...and clear DESTDIR in fake Makefile.
|
1998-05-24 03:54:12 +00:00 |
|
frueauf
|
21fc3e02fd
|
Don't ignore compressed unformatted man pages and use $MKWHATIS where
makewhatis.sed should be used.
|
1998-05-23 14:26:05 +00:00 |
|
tv
|
044f139d81
|
Use a "smart" lookup of makewhatis.sed.
|
1998-05-23 13:42:25 +00:00 |
|
tv
|
2a0a609947
|
Don't try to get at ${DESTDIR} inside /usr/libexec/makewhatis; instead,
supply ${DESTDIR} as part of the command line argument in
src/share/man/Makefile, and use that modified $MANPATH to find
makewhatis.sed.
|
1998-05-21 11:40:11 +00:00 |
|
tron
|
7c26d20c65
|
Add support for "${DESTDIR}".
|
1998-03-21 23:46:00 +00:00 |
|
lukem
|
906cb46ddb
|
cons up a makefile to install whatis.db with FILES=
|
1998-02-09 01:34:57 +00:00 |
|
perry
|
3fe138c146
|
RCS Id Police.
|
1998-01-09 08:03:16 +00:00 |
|
mrg
|
02e8f7539b
|
oops! dont clobber the list after building it. (pr#4528 John.P.Darrow@wheaton.edu)
|
1997-11-18 07:17:09 +00:00 |
|
lukem
|
dea85dc703
|
* remove duplicate inode entries, so files with multiple hard links are
only parsed once; results in a 33% speedup on a p5-200
* order SEE ALSO by section
|
1997-11-02 14:01:54 +00:00 |
|
lukem
|
7c059b1253
|
use $TMP and $LIST everywhere, remove $LIST upon successful exit
|
1997-11-02 01:26:10 +00:00 |
|
mrg
|
3f5509a860
|
use the updated getNAME(8) now that it has a reasonable output. this
makes makewhatis several orders of magnitude faster for manual sources,
as we now avoid a costly `nroff -mandoc' for each one...
|
1997-11-01 15:06:09 +00:00 |
|
perry
|
72c4d6ba1c
|
now finds symlinked man pages, as submitted by Thorsten Frueauf in pr-3087
|
1997-08-04 03:01:59 +00:00 |
|
jtc
|
9ae90685f2
|
Winning Strategies has placed this code in the public domain.
|
1995-05-11 23:03:44 +00:00 |
|
cgd
|
aebbb61b8f
|
support for compressed and gzipped man pages. more or less from
Luke Mewburn <lm@rmit.edu.au>
|
1994-03-19 08:09:16 +00:00 |
|
cgd
|
8310908256
|
actually do the install when done
|
1994-02-07 05:11:24 +00:00 |
|
jtc
|
42f840d29d
|
Fix spelling error in Copyright notice
|
1994-01-29 01:43:03 +00:00 |
|
cgd
|
103f2ee5d5
|
moved here from old location in src/usr.bin/man
|
1993-12-21 03:28:00 +00:00 |
|