Remove Makefile.config from the repository.

[notmuch] / Makefile

diff --git a/Makefile b/Makefile
index 2cd1b1bae4af648b07b51a110e08f623868fa66e..ae0f99120cc59c459c3b8d0e4819611e7c8b5c62 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -35,6 +35,9 @@ include Makefile.local
 include lib/Makefile.local
 
 # And get user settings from the output of configure
 include lib/Makefile.local
 
 # And get user settings from the output of configure

+Makefile.config: configure
+       ./configure
+

 include Makefile.config
 
 # The user has not set any verbosity, default to quiet mode and inform the
 include Makefile.config
 
 # The user has not set any verbosity, default to quiet mode and inform the