lmh should use mmt to create .omdoc, .pdf or .sms files

[cmaeder]

mmt needs the 3 things: the archive, the extension and the build command.

• the archive of the current directory can be given by archive add .
• the possible extensions are info.kwarc.mmt.stex.SmsGenerator, info.kwarc.mmt.stex.LaTeXML, and info.kwarc.mmt.stex.PdfLatex following the keyword extension
• the build command is the keyword build followed by the archive id from META-INF/MANIFEST.MF, the target (sms, latexml, or pdflatex) and the relative file name (within the source directory).

To see some output it is advisable to start with log console. Each input could be one line within an .msl file or separates by ; on the command-line. Example:

../../../ext/MMT/mmt.jar "log console ; archive add . ; extension info.kwarc.mmt.stex.LaTeXML ; build smglom/mv latexml equal.de.tex"

For archive add . to work, mmt should be called in the archive folder. The output is written to a separate folder named latexml.

[cmaeder]

To use a custom latexmlc you can set the LATEXMLC variable. Otherwise latexmlc is taken from "/ext/perl5lib/bin" (where is computed from the input file). Note that latexmlc simply calls latexmls, which will be the first found in your PATH.