Re: [AUCTeX-devel] A simple patch displaying compilation time

[Mosè Giordano]

2017-02-19 8:45 GMT+01:00 Marcin Borkowski <address@hidden>:
> Hi all,
>
> I have finally become bored enough of going to Eshell and saying "time
> pdflatex <whetever>" instead of just pressing C-c C-c that I decided to
> spend a few minutes writing this quite trivial patch.  I would be
> thankful for reviewing it and telling me what I should change in case
> I messed something up (or accepting it if I didn't;-)).

Just a note: the information isn't printed if there are warnings
captured by `TeX-LaTeX-sentinel'.

Bye,
Mosè