>> Uwe Brauer <[email protected]> writes: > >> If a source file is newer than the elc, make will rebuild it. So >> that should generally not be needed. (But of course, it's not wrong >> to do it.) > > I thought mainly about the documentation files (pdf and friends). It > is not entirely clear to me that those would be rebuilt.
Same there: if the source (texi) file is newer than the target (info/pdf), it'll be rebuilt. Bye, Tassilo
