diff options
-rw-r--r-- | src/Makefile | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/Makefile b/src/Makefile index dd2e799..83523ec 100644 --- a/src/Makefile +++ b/src/Makefile @@ -37,7 +37,7 @@ cleaner: clean cleanest: cleaner -rm -f Makefile ../*.$(EXT) -distclean: cleanest newmakefile +distclean: cleanest install: install-bin install-doc install-abs @@ -58,10 +58,6 @@ dist: all cleaner everything: clean all install distclean -newmakefile: - echo "current:">Makefile - echo " ./configure && make">>Makefile - ## dependencies: as proposed by the GNU-make documentation ## see http://www.gnu.org/software/make/manual/html_node/make_47.html#SEC51 -include $(SOURCES:.c=.d) |