Initial registration with CVS.

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