[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Mosè Giordano
Subject: Re: [AUCTeX-devel] A simple patch displaying compilation time
Date: Sun, 19 Feb 2017 17:50:50 +0100

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'.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]