latexmlc --destination=output_prebuild.html pghrt; python soup.py