Ticket #141 (new enhancement)
Opened 21 months ago
automatic OMDoc Generation from sTeX
| Reported by: | kohlhase | Owned by: | vzholudev |
|---|---|---|---|
| Priority: | blocker | Milestone: | |
| Component: | TNTBase(F) | Version: | |
| Keywords: | Cc: | deyan | |
| Blocked By: | Blocking: | #140 | |
| Due to close: | YYYY/MM/DD | Include in GanttChart: | no |
| Dependencies: | Due to assign: | YYYY/MM/DD |
Description
It would be very nice to have automated generation of sTeX via LaTEXML.
At first sight, it should be a simple post-commit hook to xxx.tex (which would probably need a special mime-type property to distinguish it), that calls Deyan's latexml daemon, and with the results updates xxx.omdoc and commits it to TNTBase.
I guess this is exactly what TNTBase(F) is made for (see #140)x
But there is a complication: the latexml conversion is not local, but needs SMS files (sTeX Module Signatures). These are extracts from the sTeX source files (xxx.sms for xxx.tex produced by the sms utility. I guess that we should cache these (and serve them where necessary) just like we cache RDF for MMT.
We could either extend the latexml to http GET the SMS files from TNTBase, or we could make a special variant of sTeX that does not load files in \importmodule but gets a TNT-base prepared file that has the necessary SMS files prepended. This would probably be the more efficient version.
We should probably talk about the transformation aspects when Deyan is back.
