[AUCTeX] Checking when it is necessary to recompile document

[Miguel V. S. Frasson]

Dear Auctex list

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, 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])

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.

The compilation should be the next action when
  timestamp of dvi file on disk < timestamp of tex file on disk
  or
  timestamp of last compilation < timestamp of tex file on disk
(or same better solution than this one)

Regards

Miguel

--
Miguel Vinicius Santini Frasson
address@hidden