--- make-4.0.orig/commands.c 2013-10-06 01:12:24.000000000 +0200 +++ make-4.0/commands.c 2014-07-30 15:31:01.450155946 +0200 @@ -14,8 +14,6 @@ A PARTICULAR PURPOSE. See the GNU Gener You should have received a copy of the GNU General Public License along with this program. If not, see . */ -#include - #include "makeint.h" #include "filedef.h" #include "dep.h"