MathHub Build System

The MathHub build system has several targets, which we document here

• planetary
  ?????
• latexml
  applies the LaTeXML daemon to sTeX sources to produce OMDoc 1.3 output. The results go into the latexml dimension of a math archive.
• stex-omdoc
  converts OMDoc 1.3 to OMDoc/MMT for further processing. The results go into the content dimension of a math archive.
• svg
  ????? pre-generates SVG visualizations of the OMDoc/MMT theory graphs. The results go into the ???? dimension of a math archive ????
• mmt-omdoc
  converts the MMT surface syntax to OMDoc/MMT for further processing. The results go into the content dimension of a math archive.
• mh-html
  pre-generates semantically annotated HTML5 presentations from OMDoc/MMT contents to be served on the MathHub web portal. The results go into the narrative dimension of a math archive.
• index
  ?????