# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1485874154 -3600
# Node ID 85c4f9eea50f4d09109f2e5f56240ee64f32cdd1
# Parent  7fe3be7f0ead98a7649c2b808e8b127ee6cb0de7
Copy the configuration file from the distribution, not from the installed files.

diff -r 7fe3be7f0ead -r 85c4f9eea50f tools/install.sh
--- a/tools/install.sh	Mon Jan 30 23:28:11 2017 +0100
+++ b/tools/install.sh	Tue Jan 31 15:49:14 2017 +0100
@@ -101,14 +101,14 @@
     # Install the new configuration file alongside the existing file if
     # different.
 
-    if ! cmp "$INSTALL_DIR/imiptools/config.txt" "$CONFIG_DIR/config.txt" > /dev/null 2>&1 ; then
-        cp "$INSTALL_DIR/imiptools/config.txt" "$CONFIG_DIR/config.txt.new"
+    if ! cmp "imiptools/config.txt" "$CONFIG_DIR/config.txt" > /dev/null 2>&1 ; then
+        cp "imiptools/config.txt" "$CONFIG_DIR/config.txt.new"
     fi
 
 # Otherwise, just copy the configuration file.
 
 else
-    cp "$INSTALL_DIR/imiptools/config.txt" "$CONFIG_DIR/config.txt"
+    cp "imiptools/config.txt" "$CONFIG_DIR/config.txt"
 fi
 
 # Update the tools configuration file.