From: Matt Birkholz <matt@birkholz.chandler.az.us>
Date: Tue, 17 Sep 2013 00:04:32 +0000 (-0700)
Subject: gtk: Rename check-optiondb.scm to gtk-optiondb.scm.
X-Git-Tag: mit-scheme-pucked-9.2.12~467
X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=a4a30992c2e2c0c706659739b9680b1bedb39618;p=mit-scheme.git

gtk: Rename check-optiondb.scm to gtk-optiondb.scm.
---

diff --git a/src/gtk/check.scm b/src/gtk/check.scm
index d9dd90fdc..a4b610037 100644
--- a/src/gtk/check.scm
+++ b/src/gtk/check.scm
@@ -6,7 +6,7 @@
       (dirname (directory-pathname (current-load-pathname))))
   (set! (access library-directory-path env)
 	(cons dirname (access library-directory-path env)))
-  (set! *initial-options-file* (merge-pathnames "check-optiondb" dirname)))
+  (set! *initial-options-file* (merge-pathnames "gtk-optiondb" dirname)))
 
 (load-option 'GTK)
 (if (gtk-thread-running?)
diff --git a/src/gtk/check-optiondb.scm b/src/gtk/gtk-optiondb.scm
similarity index 100%
rename from src/gtk/check-optiondb.scm
rename to src/gtk/gtk-optiondb.scm