Initial revision

diff --git a/v7/doc/ref-manual/re-tex b/v7/doc/ref-manual/re-tex
new file mode 100755 (executable)
index 0000000..3fba9b2
--- /dev/null
+++ b/v7/doc/ref-manual/re-tex
@@ -0,0 +1,22 @@
+#!/bin/sh
+
+
+tex scheme.texinfo
+texindex scheme.cp
+texindex scheme.fn
+texindex scheme.ky
+texindex scheme.pg
+texindex scheme.tp
+texindex scheme.vr
+
+tex scheme.texinfo
+texindex scheme.cp
+texindex scheme.fn
+texindex scheme.ky
+texindex scheme.pg
+texindex scheme.tp
+texindex scheme.vr
+
+tex scheme.texinfo
+
+# hopefully by now all the references have reached their correct pages