Next: About this document
Up: Useful to know
Previous: Commonly used make-options
- Manual pages: See
man gcc, man make and
man makedepend.
- GNU Info package: A lot of information about GNU make can
be found in the GNU Info package about make. One version can
be found in
/home/se/doc/makeinfo (type
info -f make.inf).
-
/usr/local/doc/gmake.dvi
Megens SA
Thu Jun 20 11:26:28 MET DST 1996