Martin von Gagern d50745d5a9 Make screenshotter work with docker-machine (#494) ...

Since boot2docker has been superseded by docker-machine, we need this to
support developers on OS X.  The changes to the bash script ensure that we
clean up our containers even if taking screenshots gets hung and requires a
keyboard interrupt, as happens if the IP addresses were guessed incorrectly.

2016-10-07 23:15:54 -04:00

..

MathJaxFonts

Update Dockerfile for ttfautohint, update metrics

2015-07-16 12:01:26 -07:00

Screenshotter

Make screenshotter work with docker-machine (#494)

2016-10-07 23:15:54 -04:00

texcmp

Migrate to eslint

2015-12-01 10:02:08 -08:00