[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Trouble with texinfo-multiple-files-update
|
From: |
Stephen J. Turnbull |
|
Subject: |
Re: Trouble with texinfo-multiple-files-update |
|
Date: |
Mon, 03 Jun 2013 09:35:00 +0900 |
> And I don't want to save them, since that will overwrite the files'
> timestamps.
Why do you care about that? It doesn't save any time in make. Guess
you could use that to decide which files are oldest, but to me the
risk that internode refs would get out of date is too high. What am I
missing?
Trouble with texinfo-multiple-files-update, Stephen J. Turnbull, 2013/06/02