# HG changeset patch
# User jwe
# Date 831965228 0
# Node ID fe675f6fa03aa5d5e3a32d570f0ff24b59e75226
# Parent  3dc97364d58e232aaec6e2890c9124b97d7eb7d1
[project @ 1996-05-13 05:27:08 by jwe]

diff -r 3dc97364d58e -r fe675f6fa03a src/mk-oct-links.in
--- a/src/mk-oct-links.in	Mon May 13 04:34:11 1996 +0000
+++ b/src/mk-oct-links.in	Mon May 13 05:27:08 1996 +0000
@@ -23,7 +23,7 @@
         true
       else
 	echo "creating link $n.oct -> $base.oct"
-        ( cd $links_dir; $LN_S $base.oct $n.oct )
+        ( cd $links_dir; rm -f $n.oct; $LN_S $base.oct $n.oct )
       fi
     done
   fi