From 3a92cd02ee19db8d983213818553e05d6e037e67 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 16 Dec 2015 20:44:34 +0000
Subject: [PATCH] Use $ours rather than $dot in $dots loop

---
 infra/makelinks | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/infra/makelinks b/infra/makelinks
index f4d502c..96218b9 100755
--- 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
 
-- 
2.30.2