Here is a "make Jose happy" patch:
1. The patch adds a distinction between format name and extension.
Using the \format lyxrc tag we can define in lyxrc
# name extension "pretty name"
\Format linuxdoc sgml Linuxdoc
\Format docbook sgml Docbook
etc.
2. Previously, when you had a linuxdoc document, in the view/export menus
contained "HTML (using sgml2html)" AND "HTML (using tth)" (i.e. using the chain
linuxdoc->tex->html), but we only want the first option.
I've added a converter flag that allows solving this problem.
In the following example, the latex->html converter will not be used when the
document is Linuxdoc/Docbook:
\converter latex html "tth ..." "disable=linuxdoc&docbook,..."
After applying the patch, you will need to do options->reconfigure.
patch.gz
