allow selective sTeX packages to generate annotated html

MathHubInfo / Frontend

A new MathHub Narration Frontend written in React.

GNU Affero General Public License v3.0

2 stars 0 forks source link

allow selective sTeX packages to generate annotated html #82

Open kohlhase opened 10 years ago

kohlhase commented 10 years ago

We should allow a variant of sTeX that generates annotated HTML5 not OMDoc as an intermediate step. That would make MathHub more appliccable. We should just make sure that it generates HTML that JOBAD and other MathHub services can work on.

This issue concerns the MathHub-specific issues, for the sTeX-specific issues see https://github.com/KWARC/sTeX/issues/20

m-iancu commented 9 years ago

For MathHub it is enough if it follows the archive structure, i.e. the html should be in export/<stex-html-exporter-name>. Currently used names by mmt are html (for generic html export) and planetary for planetary-specific exporters. Anything else should work.
Then the html generator should be added to the build system (@jucovschi). Finally, changing the default presenter for that archive in MathHub (from config) to <stex-html-exporter-name> should make everything work.

kohlhase commented 9 years ago

The main problem is that we do not have the html generator yet (I am working on that on a separate sTeX branch, but I am waiting for @dginev to reform the sTeX generator to make parallel Markup and deal with informal math. So that is blocked. I hope that at some point the two new sTeX students will be able to help.

tkw1536 commented 3 years ago

This is finally working in version 0 on devel.