htmlWorkshopFiles = true
htmlIndex = true
+; Finally, a way to specify face names
+htmlFaceName = "Arial, Lucida, Helvetica"
+
;\overview [2] {\rtfonly{See also }\settransparency{on}\sethotspotcolour{off}\sethotspotunderline{on}\winhelponly{\image{}{books.bmp}\settransparency{off}}
;\htmlonly{\image{}{books.gif}}\helpref{#1}{#2}
;\sethotspotcolour{on}\sethotspotunderline{on}}