Formatting and XML Transformation of sTeX documents

General

The markup information in the semantically pre-loaded sTeX documents formatting into a PDF file allows automatic conversion to content-oriented, XML-based formats like  OMDoc via the  LaTeXML transformer.

To format an sTeX document we only need to run the pdflatex program over the target document - assuming that all modules (regular or background) have semantic macro short forms.

To convert an sTeX document to OMDoc, we need to run the latexml program over it, post-process the result by latexmlpost, and finally massage away all remaining LaTeXML islands with a stylesheet, see the sTeX manual for details.

Special Considerations

We use the  arXMLiv branch of  LaTeXML that has some local enhancements.

As the transformation process is rather tedious to control manually, the sTeX distribution supplies and infrastrucutre for automation by Makefiles.