On Fri, 2017-03-03 at 17:09 +0000, Paul Jakma wrote: > Well, it's due to the distributed 'doc/quagga.info' being slightly > older than the (built by automake) doc/defines.texi.
I don't understand this: if doc/defines.texi is needed by quagga.info then why doesn't quagga.info depend on it? And if it does depend on it, then how can doc/defines.texi be newer without rebuilding quagga.info (when creating the dist file, not when building the dist file)?