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

[Arash Esbati]

Hi Marcin,

Marcin Borkowski <address@hidden> writes:

> 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;-)).

I like the idea.  Besides what Mosè said, I have a question and my
apologies in advance if I'm missing the obvious here:

> +(defun TeX-compilation-time ()
> +  "Return string indicating the compilation time."
> +  (cond ((null TeX-start-time)
> +      "")
> +     (t (format " in %.1f seconds" (time-to-seconds (time-subtract 
> (current-time) TeX-start-time))))))

This can be written like this, right?

    (if TeX-start-time
        (format ...)
      "")

Best, Arash