From fad184c56abd317c8f7e29fb6d62e8ea0ac97a74 Mon Sep 17 00:00:00 2001 From: Chris Hanson 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