"Page, Bill" <[EMAIL PROTECTED]> writes: [...]
| However pamphlet files with multiple chunks interact badly with | the make dependency processing since changing or adding a single | chunk in a pamphlet file triggers re-extraction of all files | dependent on that pamphlet and subseqent dependent make processing. Like for most (all?) generated files, there is a way out within the GNU build system: change a file only if its content really changed. Use the move-if-change script. It is on the list of things to do for build-improvements. -- Gaby _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
