Shared access to options singleton
Copyright (c) 2005, Julian Tschannen
Eiffel Forum License v2 (see forum.txt)
-- Eiffeldoc options
Shared access to options singleton