# HG changeset patch
# User Jan Nieuwenhuizen <janneke@gnu.org>
# Date 1296773879 -3600
# Node ID 9bf9726dad3848539cf62933e08606087ba9f5ac
# Parent  7a841bb2369b6ac7aa9e054d3c5aa5be4b9655b2
schikkers-list: install updates.

diff -r 7a841bb2369b -r 9bf9726dad38 gub/specs/schikkers-list.py
--- a/gub/specs/schikkers-list.py	Thu Feb 03 23:57:44 2011 +0100
+++ b/gub/specs/schikkers-list.py	Thu Feb 03 23:57:59 2011 +0100
@@ -43,7 +43,7 @@
                         (' -L [$][(]dirname [$]0[)]', ''),
                         ],
                        '%(install_prefix)s/bin/ikli', must_succeed=True)
-        self.system ('cd %(install_prefix)s/bin && cp -pv ikli schikkers-list')
+        self.system ('cd %(install_prefix)s/bin && rm -f ikli')
 
 class Schikkers_list__mingw (Schikkers_list):
     dependencies = Schikkers_list.dependencies + [
@@ -51,5 +51,5 @@
         ]
     def install (self):
         Schikkers_list.install (self)
-        self.system ('cd %(install_prefix)s/bin && cp -pv ikli run-ikli.scm')
-        self.system ('cd %(install_prefix)s/bin && cp -pv schikkers-list schikkers-list.scm')
+        self.system ('cd %(install_prefix)s/bin && rm -f ikli')
+        self.system ('cd %(install_prefix)s/bin && mv schikkers-list schikkers-list.scm')