diff --git a/doc/config.html b/doc/config.html index eacbb3dc..64d3bb4c 100755 --- a/doc/config.html +++ b/doc/config.html @@ -313,7 +313,7 @@ defined. Typical values are "Author", "Subject" or "Type".
Options <attribute> = <list>
+
IOptions <attribute> = <list>
+icons subdirectory of the themes directory.
+A configuration line like +
+IOptions Type = icon1.gif, icon2.gif, icon3.gif, icon4.gif ++ +results in following browser display:
+
+
+
+
Options <attribute> = boolean
theme = <dir> option in the configuration file. The directory
contains the file theme.cfg and a few images, which are used
-for the title banner and the browse buttons. A default theme is contained in the
+for the title banner and the browse buttons. In addition, an icons
+subdirectory contains icon files which can be used with the IOptions
+specification. A default theme is contained in the
distribution. If new themes are developed by users, they can be sent back to the author,
to be included in future releases.