This is the Metanorma-flavoured LaTeX version of https://github.com/metanorma/mn-samples-iso

You can use the Makefile to produce various outputs as follows:

make

generate main.html from main.tex (main.tex → [via tex2mn] main.adoc → [via metanorma] main.html)

make main.xml

use tex2mn to produce an intermediate XML representation of the LaTeX source

make main.adoc

use tex2mn to produce the Metanorma-flavoured Adoc version of the document

make main.html

use metanorma ^[1] to produce the ISO format HTML version of the document

make clear

clean temporary files

make clobber

clean up temporary and output files