Shane Kilkelly e4ffc94de8 Move the latexmk timing command into a configurable latexmkCommandPrefix. ...

By default, no timing information will be taken.
On Linux with GNU user land, this value should be configured to `["/usr/bin/time", "-v"]`.
On Mac, gnu-time should be installed and configured to `["/usr/local/bin/gtime", "-v"]`.

2016-06-17 14:38:08 +01:00

..

settings.defaults.coffee

Move the latexmk timing command into a configurable latexmkCommandPrefix.

2016-06-17 14:38:08 +01:00