src/etc/optiondb.scm: Remove all plugins (acquire by a merge?).

diff --git a/src/etc/optiondb.scm b/src/etc/optiondb.scm
index 2e57e9b66f03cacdfec7294f083bcc8b0d42d5b6..d1497e2918634aa09c764fef46d449ec5b850344 100644 (file)
--- a/src/etc/optiondb.scm
+++ b/src/etc/optiondb.scm
@@ -93,15 +93,9 @@ USA.
 (define-load-option 'cref
   (guarded-system-loader '(cross-reference) "cref"))
 
-(define-load-option 'edwin
-  (guarded-system-loader '(edwin) "edwin"))
-
 (define-load-option 'ffi
   (guarded-system-loader '(ffi) "ffi"))
 
-(define-load-option 'imail
-  (guarded-system-loader '(edwin imail) "imail"))
-
 (define-load-option '*parser
   (guarded-system-loader '(runtime *parser) "star-parser"))
 
@@ -120,12 +114,6 @@ USA.
 (define-load-option 'win32
   (guarded-system-loader '(win32) "win32"))
 
-(define-load-option 'x11
-  (guarded-system-loader '(x11) "x11"))
-
-(define-load-option 'x11-screen
-  (guarded-system-loader '(edwin screen x11-screen) "x11-screen"))
-
 (define-load-option 'xdoc
   (guarded-system-loader '(runtime ssp xdoc) "xdoc"))