>>>>> "Alejandro" == Alejandro Aguilar Sierra <[EMAIL PROTECTED]> writes:
Alejandro> No. One should be able to edit a document even if you don't
Alejandro> have the corresponding LaTeX (or whatever) package. I
Alejandro> remember some of the developers don't want to contribute to
Alejandro> our developers guide with the excuse that they don't have
Alejandro> linuxdoc. ;-)
The question is then to know what to do at LaTeX time. Accept
exporting latex files but refuse to generate dvi? Yes, this could be
an option...
JMarc
