latexmlc --destination=export/index.html pghrt; python soup.py