Re: [AUCTeX] Checking when it is necessary to recompile document

[David Kastrup]

"Miguel V. S. Frasson" <address@hidden> writes:

> For some time, I am using a quite old computer while I wait for the
> new one that is coming.  Now compile a LaTeX document takes some "not
> instantaneous" time.  Generating fonts takes an small eternity.
>
> Suppose that I am editing a latex document. I save and compile.  It
> is compiling. Meanwhile, I change it (suppose I remove a \include
> for several pages) and before the compilation finishes and the dvi
> is written, I save it again. Then the tex file is newer than the dvi
> file in disk,

No.  The other way round.

> but the document must be recompiled. (ok, I could kill the job, but
> I don't know if this is always possible [on Win32 for example])

Why not?  C-c C-k.

> I know that it is always possible to force the compilation with C-c
> C-c latex RET, but why not fix?)
>
> When a compilation starts, it should save a property with the
> compilation start timestamp.

That does not tell you which version of the included files the TeX
process actually opened.

-- 
David Kastrup, Kriemhildstr. 15, 44793 Bochum