Erik Demaine 2ee5c684ee Update texcmp (#1297) ...

* Update texcmp

I found that the existing docker rules for texcmp did not make a working
installation of LaTeX; in particular, it was missing a lot of the recently
added packages.  I updated to Ubuntu 17.10 and tweaked the package listings
until things compiled again.  Now I can run texcmp again.

* texlive-font-utils not necessary

2018-05-09 09:34:47 -04:00

..

Screenshotter

Online screenshot diff/generation using CircleCI (#1187)

2018-03-06 00:47:41 -05:00

texcmp

Update texcmp (#1297)

2018-05-09 09:34:47 -04:00