Reinstate erroneously deleted `*.tex' and `*.texi' files.

[cfd] / mklinks.in

diff --git a/mklinks.in b/mklinks.in
index 0d57afd..3435879 100755 (executable)
--- a/mklinks.in
+++ b/mklinks.in
@@ -71,10 +71,17 @@ done
 
 [ $# = 0 ] && set .links
 cat "$@" | while read name; do
-  base="$(echo $name | sed 's;^.*/;;')"
-  dir="$(echo $name | sed 's;/[^/]*$;;')"
-  mkdir -p "$dir"
-  [ -r "$pkgdatadir/$base" ] && ln -sf "$pkgdatadir/$base" "$name"
+  case "$name" in
+    "" | "#"*) continue ;;
+    *=*) want=${name##*=}; name=${name%=*} ;;
+    *) want=${name##*/} ;;
+  esac
+  dir=${name%/*}
+  if [ -r "$pkgdatadir/$want" ]; then
+    mkdir -p "$dir"
+    rm -f "$name"
+    ln -sf "$pkgdatadir/$want" "$name"
+  fi
 done
 
 ###----- That's all, folks --------------------------------------------------