> On Jun 2, 2026, at 3:13 PM, André Malo <[email protected]> wrote: > > Hi Rich, > > Rich Bowen wrote: >> Ok, I think that this is because in my changes to make stuff more >> mobile-friendly, I introduced HTML5 stuff. > [...] > > Thanks. One question: > >> - <xsl:when test="$type = 'manual' or >> - $type = 'chm' or >> - $type = 'zip'"> >> - <xsl:text>xml</xsl:text> >> + <xsl:when test="$type = 'manual'"> >> + <xsl:text>html</xsl:text> > > Are you removing the other targets on purpose?
I remove chm because we never generated those any more. Removing zip was *not* intentional, and I added that back in when I actually committed this. Do we want to still generate chm files? Do we publish those anywhere? --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
