From fad184c56abd317c8f7e29fb6d62e8ea0ac97a74 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Mon, 10 Jul 2000 22:19:16 +0000
Subject: [PATCH] No longer needed.

---
 v7/doc/ref-manual/re-tex | 8 --------
 v7/doc/sos/re-tex        | 8 --------
 2 files changed, 16 deletions(-)
 delete mode 100755 v7/doc/ref-manual/re-tex
 delete mode 100755 v7/doc/sos/re-tex

diff --git a/v7/doc/ref-manual/re-tex b/v7/doc/ref-manual/re-tex
deleted file mode 100755
index fe7e3edaa..000000000
--- 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
index acd3914c6..000000000
--- 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
-- 
2.25.1