Use $ours rather than $dot in $dots loop

diff --git a/infra/makelinks b/infra/makelinks
index f4d502c465045d940bdb2b1c9f5942b813acbb04..96218b9ed712c46bea4cf57ca14e4ce9e0911243 100755 (executable)
--- a/infra/makelinks
+++ b/infra/makelinks
@@ -109,9 +109,8 @@ process_object () {
 
 dots=$( find dot -mindepth 1 -maxdepth 1 -name '[0-9a-zA-Z]*[0-9a-zA-Z]' )
 
-for dot in $dots; do
-    ours="$dot"
-    underhome=".${dot#dot/}"
+for ours in $dots; do
+    underhome=".${ours#dot/}"
     process_object
 done