From 4e6e460b957774e2e7f60d0fbd8de9e84ca7f980 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 16 Dec 2015 20:44:52 +0000
Subject: [PATCH] Process home/

---
 infra/makelinks | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/infra/makelinks b/infra/makelinks
index 96218b9..20faafc 100755
--- a/infra/makelinks
+++ b/infra/makelinks
@@ -114,9 +114,17 @@ for ours in $dots; do
     process_object
 done
 
+nondots=$( find home -mindepth 1 -maxdepth 1 -name '[0-9a-zA-Z]*[0-9a-zA-Z]' )
+
+for ours in $nondots; do
+    underhome="${ours#home/}"
+    process_object
+done
+
 brokens=$(
     cd $HOME
-    find -L .[0-9a-zA-Z]* -maxdepth 0 -xdev -type l -lname "$basepath/dot/*"
+    find -L .[0-9a-zA-Z]* -maxdepth 0 -xdev -type l \
+	 \( -lname "$basepath/dot/*" -o -lname "$basepath/home/*" \)
 )
 for underhome in $brokens; do
     inhome="$HOME/$underhome"
-- 
2.30.2