From 96072c05d6299bace3416f7a2122050ce065e579 Mon Sep 17 00:00:00 2001
From: Stephen Adams <edu/mit/csail/zurich/adams>
Date: Mon, 22 Nov 1993 19:47:02 +0000
Subject: [PATCH] Initial revision

---
 v7/doc/user-manual/re-tex | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100755 v7/doc/user-manual/re-tex

diff --git a/v7/doc/user-manual/re-tex b/v7/doc/user-manual/re-tex
new file mode 100755
index 000000000..10c7e6d6d
--- /dev/null
+++ b/v7/doc/user-manual/re-tex
@@ -0,0 +1,8 @@
+#!/bin/sh
+
+tex user.texinfo
+texindex user.cp user.fn user.ky user.pg user.tp user.vr
+tex user.texinfo
+texindex user.cp user.fn user.ky user.pg user.tp user.vr
+tex user.texinfo
+# hopefully by now all the references have reached their correct pages
-- 
2.25.1