The GNU make tool should be installed on your system because it is
commonly used to simplify the process of installing programs.
Bug Reports:
============
<bug-make@gnu.org>
Authors:
========
GNU make development up to version 3.75 by:
Roland McGrath <roland@gnu.org>
Development starting with GNU make 3.76 by:
Paul D. Smith <psmith@gnu.org>
GNU Make User's Manual
Written by:
Richard M. Stallman <rms@gnu.org>
Edited by:
Roland McGrath <roland@gnu.org>
Bob Chassell <bob@gnu.org>
Melissa Weisshaus <melissa@gnu.org>
Paul D. Smith <psmith@gnu.org>
?rwxr-xr-x 1 root root 4 Aug 13 09:49 /usr/bin/gmake -rwxr-xr-x 1 root root 301617 Aug 13 09:49 /usr/bin/make drwxr-xr-x 2 root root 0 Aug 13 09:49 /usr/doc/make-3.82 -rw-r--r-- 1 root root 2818 Jul 12 21:20 /usr/doc/make-3.82/AUTHORS -rw-r--r-- 1 root root 35147 Jul 4 2007 /usr/doc/make-3.82/COPYING -rw-r--r-- 1 root root 48435 Jul 28 01:39 /usr/doc/make-3.82/NEWS -rw-r--r-- 1 root root 7151 Jul 28 01:42 /usr/doc/make-3.82/README -rw-r--r-- 1 root root 85979 Aug 13 09:49 /usr/share/info/make.info-1.gz -rw-r--r-- 1 root root 62043 Aug 13 09:49 /usr/share/info/make.info-2.gz -rw-r--r-- 1 root root 2400 Aug 13 09:49 /usr/share/info/make.info.gz ?rw-r--r-- 1 root root 9 Aug 13 09:49 /usr/share/man/man1/gmake.1.gz -rw-r--r-- 1 root root 4217 Aug 13 09:49 /usr/share/man/man1/make.1.gz