No longer needed.

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

diff --git a/v7/doc/sos/re-tex b/v7/doc/sos/re-tex
deleted file mode 100755 (executable)
index acd3914..0000000
--- a/v7/doc/sos/re-tex
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/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