On Fri, 18 Nov 2011 08:23:18 -0600, Brian Wightman <midlife...@wightmanfam.org> wrote: > Perhaps a way to deal with this would be to tangle to a different > directory, and then sync any changes into your compilation source > directory. If you would update the compilation directory only when > something differs from the tangle directory, then make could handle it > from that point on.
The tangle mechanism could probably handle this autoatically. i.e. not saving a file if the contents are identical. Tom