Re: HTML export to different formats

[Jürgen Spitzmüller]

Alex Fernandez wrote:
> What would be a proper way for you?

Configure all available converters and let the user select in preferences 
which converters he wants to see in the menus.

Jürgen