Guenter Milde wrote: > How can we get this as default entries with configure.py?
Two steps: 1. Rename current HTML format to 'HTML (elyxer)' and setting converter appropriately. 2. Rename LyXHTML to HTML. I am not sure we would get enough support for this, as I understood Uwe still want to use elyxer as the primary html target. Pavel
