From 2d12fae1678e497fc4a92bd73ad8260fc2b8db83 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Mon, 30 Apr 2001 02:45:59 +0000
Subject: [PATCH] Fix bug: previous loader depended on MITSCHEME_INF_DIRECTORY
 being set.  I used to set this and didn't notice, but these days I don't set
 it.

---
 v7/src/etc/optiondb.scm | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/v7/src/etc/optiondb.scm b/v7/src/etc/optiondb.scm
index 61c63b84e..a486e842f 100644
--- a/v7/src/etc/optiondb.scm
+++ b/v7/src/etc/optiondb.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: optiondb.scm,v 1.6 2001/04/30 02:44:35 cph Exp $
+$Id: optiondb.scm,v 1.7 2001/04/30 02:45:59 cph Exp $
 
 Copyright (c) 2000-2001 Massachusetts Institute of Technology
 
@@ -33,8 +33,7 @@ USA.
 		     (list d)
 		     '()))
 	     "/usr/local/scheme/linux"
-	     "/scheme/v7/linux")
-	   (cons here)))
+	     "/scheme/v7/linux")))
 	(files
 	 (if (default-object? filename)
 	     (list "make" "load")
-- 
2.25.1