I have done a bit of testing and this seems to work. This tries to maintain backwards compatibility with the old plasTeX 2.1 while supporting the newer plasTeX 3.0.
As of this writing, the debian package python3-plastex gives the old version of plasTeX (2.1), so to test this with the new plasTeX, you should install via pip:
python3 -m pip install plastex==3.0
and then running bin/problem2html.sh (or however you choose to run it, e.g. via an installed debian package). If you want to test it with the debian package, I had to install it with dpkg --force-all -i kattis_problemtools*.deb to install it without the python3-plastex dependency already installed.
Fixes #214
I have done a bit of testing and this seems to work. This tries to maintain backwards compatibility with the old plasTeX 2.1 while supporting the newer plasTeX 3.0.
As of this writing, the debian package
python3-plastex
gives the old version of plasTeX (2.1), so to test this with the new plasTeX, you should install via pip:and then running bin/problem2html.sh (or however you choose to run it, e.g. via an installed debian package). If you want to test it with the debian package, I had to install it with
dpkg --force-all -i kattis_problemtools*.deb
to install it without thepython3-plastex
dependency already installed.