From 0432d515bf955e7256dd3192cba9584442d662f0 Mon Sep 17 00:00:00 2001 From: "W.C.A. Wijngaards" Date: Tue, 4 Feb 2014 09:53:44 +0100 Subject: [PATCH] Remove double make example definition. --- Makefile.in | 3 --- 1 file changed, 3 deletions(-) diff --git a/Makefile.in b/Makefile.in index d36dd611..f108e80e 100644 --- a/Makefile.in +++ b/Makefile.in @@ -37,9 +37,6 @@ example: test: cd src && $(MAKE) $@ -example: - cd src && $(MAKE) $@ - clean: cd src && $(MAKE) $@ cd doc && $(MAKE) $@