diff --git a/Makefile b/Makefile index 77a85c6e..c03d74c9 100644 --- a/Makefile +++ b/Makefile @@ -78,7 +78,9 @@ clean: @for i in $(SUBDIRS) doc; \ do $(MAKE) $(MFLAGS) -C $$i clean; done -clobber: clean +clobber: + touch Config + $(MAKE) $(MFLAGS) clean rm -f Config distclean: clobber