- * Most configuration options are arguments to the configure script
- * (try running "configure --help"). The following options are either
- * experimental or require changes to "Prelude.hs", the standard libraries
- * and demos and therefore cannot be modified using the configure script.
- * Most users should leave them alone!
- *