[notmuch] [PATCH 1/3] remove Makefile.config from source to allow for custom config.

[Jameson Graef Rollins]

Modified ./configure script to generate a Makefile.config if it
doesn't exist.  This will allow people to maintain custom
Makefile.config files without causing conflicts with the repository.
---
 Makefile.config |    2 --
 configure       |    8 ++++++++
 2 files changed, 8 insertions(+), 2 deletions(-)
 delete mode 100644 Makefile.config

diff --git a/Makefile.config b/Makefile.config
deleted file mode 100644
index d72a39e..0000000
--- a/Makefile.config
+++ /dev/null
@@ -1,2 +0,0 @@
-prefix = /usr/local
-bash_completion_dir = /etc/bash_completion.d
diff --git a/configure b/configure
index fe46c8e..c63f70d 100755
--- a/configure
+++ b/configure
@@ -109,6 +109,14 @@ configure again to ensure the packages can be found, or simply run
 EOF
     exit 1
 else
+
+if [ ! -e Makefile.config ] ; then
+    cat <<EOF >Makefile.config
+prefix = /usr/local
+bash_completion_dir = /etc/bash_completion.d
+EOF
+fi
+
 cat <<EOF
 
 All required packages were found. You may now run the following
-- 
1.6.5