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

diff --git a/src/gtk/check.scm b/src/gtk/check.scm
index d9dd90fdcf669b69b0b8231065a7df4afbffff5a..a4b6100370adca8379fb678473125ae7a387b16a 100644 (file)
--- 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