search

slatex / LaTeXML-Plugin-sTeX

A LaTeXML Plugin for Semantic LaTeX (sTeX)
LaTeX Project Public License v1.3c
2 stars 3 forks source link

Enable schema validation #143

Closed tkw1536 closed 4 years ago

tkw1536 commented 4 years ago

This PR commits and enables schema validation for the STeX schema. For this purpose the generated '*.rng' files are commited in the repository.

tkw1536 commented 4 years ago

@kohlhase Wasn't sure if this is the right approach. /cc @Jazzpirate

kohlhase commented 4 years ago

I am not sure that we should commit the generated .rng files. They should be easily generatable by travis in the Make process no? And they will generate conflicts. But for the moment I will accept the pull request but leave an issue to eliminate them again for the future.

Jazzpirate commented 4 years ago

I think calling make in the top folder does not generate the rng - you have to explicitly call make in lib/LaTeXML/resources/RelaxNG. I suggest adapting the top-level makefile to generate the rng as well