From 49b79b4c722ebedc70c2a34b517649208e962447 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 20 Aug 2012 07:28:26 +0000 Subject: * interp/Makefile.in: Simplify. --- src/ChangeLog | 4 ++++ src/interp/Makefile.in | 14 ++------------ 2 files changed, 6 insertions(+), 12 deletions(-) diff --git a/src/ChangeLog b/src/ChangeLog index ebdb60e4..43486cc5 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2012-08-20 Gabriel Dos Reis + + * interp/Makefile.in: Simplify. + 2012-08-20 Gabriel Dos Reis * input/sint.input.pamphlet: Use /\$SingleInteger, not defunct diff --git a/src/interp/Makefile.in b/src/interp/Makefile.in index b222b8da..c7a6b3ce 100644 --- a/src/interp/Makefile.in +++ b/src/interp/Makefile.in @@ -159,23 +159,13 @@ UNUSED= ${DOC}/guess.boot.dvi \ all: all-ax -all-ax: stamp +all-ax: all-interpsys @echo finished $(srcdir) -stamp: remove-stamp build-images - $(STAMP) stamp - -.PHONY: remove-stamp -remove-stamp: - -rm -f stamp - -.PHONY: build-images -build-images: remove-stamp all-interpsys - all-interpsys: $(MAKE) $(SAVESYS) -all-axiomsys: all-interpsys +all-axiomsys: $(MAKE) $(AXIOMSYS) mostlyclean-local: -- cgit v1.2.3