|
|
| Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files. |
| version 1.15, 1994/02/07 05:08:57 | version 1.16, 1994/02/08 23:20:40 | ||
|---|---|---|---|
|
|
||
| (cd share/man && make makedb) | (cd share/man && make makedb) | ||
| build: | build: | ||
| (cd install && make install) | (cd include && make install) | ||
| make cleandir | make cleandir | ||
| (cd lib && make depend && make && make install) | (cd lib && make depend && make && make install) | ||
| (cd gnu/lib && make depend && make && make install) | (cd gnu/lib && make depend && make && make install) |