From 546d5831f6a6ac1c77607b8d9d322b987729b590 Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 21 Dec 1999 13:01:59 +0000
Subject: [PATCH 1/1] [project @ 1999-12-21 13:01:59 by simonmar] remove old
 unused $RTS_PREFIX I just noticed.

---
 mk/config.mk.in |    2 --
 1 file changed, 2 deletions(-)

diff --git a/mk/config.mk.in b/mk/config.mk.in
index 760e7dd..e21abe3 100644
--- a/mk/config.mk.in
+++ b/mk/config.mk.in
@@ -479,8 +479,6 @@ TEXI2HTML_PREFIX        = $(LITERATE_PREFIX)texi2html/
 HAPPY_PREFIX    	= $(FPTOOLS_TOP)/happy/src/
 GREENCARD_PREFIX	= $(FPTOOLS_TOP)/green-card/src/
 
-RTS_PREFIX		= $(FPTOOLS_TOP)/common-rts/
-
 UNLIT_PREFIX    	= $(FPTOOLS_TOP)/ghc/utils/unlit/
 UGEN_PREFIX             = $(FPTOOLS_TOP)/ghc/utils/ugen/
 STAT2RESID_PREFIX       = $(FPTOOLS_TOP)/ghc/utils/stat2resid/
-- 
1.7.10.4