Workaround for repeated distclean

The subdirectory makefiles need Config file to exist.
Therefore create it, then run make clean, then remove it.

diff --git a/Makefile b/Makefile
index 77a85c6e6071c81bdf1f7bd9903ff86817d5b020..c03d74c900802fac6ffed41b9a37117389a5a877 100644 (file)
--- 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