Copyright (c) 2005, Julian Tschannen
Eiffel Forum License v2 (see forum.txt)
-- Initialise options from a_filename.
-- (From EDOC_OPTIONS_FILE)
-- Options directory name
-- (From EDOC_OPTIONS_FILE)
-- Options filename
-- (From EDOC_OPTIONS_FILE)
-- Option processors
-- (From EDOC_OPTIONS_FILE)
-- Apply options to Options.
-- (From EDOC_OPTIONS_FILE)
Options file for HTML output