Shane Kilkelly 638ac52e40 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
..
coffee	Move the latexmk timing command into a configurable latexmkCommandPrefix.	2016-06-17 14:38:08 +01:00