diff --git a/gen_links.sh.inc b/gen_links.sh.inc
new file mode 100644
index 0000000..2fcb9d1
--- /dev/null
+++ b/gen_links.sh.inc
@@ -0,0 +1,12 @@
+#!dont_run_this
+# This file is sourced by */gen_links.sh
+
+gen_links() {
+	DIR=$1
+	shift
+	FILES=$*
+	for f in $FILES; do
+		echo "Linking $f"
+		ln -sf $DIR/$f $f
+	done
+}