From: Chris Hanson <org/chris-hanson/cph>
Date: Mon, 10 Jul 2000 22:05:02 +0000 (+0000)
Subject: No longer needed.
X-Git-Tag: 20090517-FFI~3359
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=a6eff171bcfc1616b2dbef0fa28b2247230fd74a;p=mit-scheme.git

No longer needed.
---

diff --git a/v7/doc/user-manual/re-tex b/v7/doc/user-manual/re-tex
deleted file mode 100755
index 10c7e6d6d..000000000
--- a/v7/doc/user-manual/re-tex
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/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