1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 89c3470..3a6c18d 100644
--- a/Makefile
+++ b/Makefile
@@ -133,4 +133,5 @@ mrproper : clean-configs
        find plugins -name "lib*.*"|xargs rm -f
        find . -name "*.pro"|xargs touch
+        rm stamp-headers
 include $(TOPDIR)/Rules.make

diff --git a/Makefile b/Makefile index 89c3470..3a6c18d 100644 --- a/Makefile +++ b/Makefile
@@ -133,4 +133,5 @@ mrproper : clean-configs
133	find plugins -name "lib."\|xargs rm -f	133	find plugins -name "lib."\|xargs rm -f
134	find . -name "*.pro"\|xargs touch	134	find . -name "*.pro"\|xargs touch
		135	rm stamp-headers
135		136
136	include $(TOPDIR)/Rules.make	137	include $(TOPDIR)/Rules.make