Initial revision

diff --git a/v7/doc/user-manual/re-tex b/v7/doc/user-manual/re-tex
new file mode 100755 (executable)
index 0000000..10c7e6d
--- /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