Hi,

using rsync, it is rather simple to synchronize two directories:

$ rsync -r -t --del sourcedir/ destdir

In this example, if a file is deleted fron sourcedir, it also gets deleted from 
destdir.
Any other files are updated as needed.

I want to accomplish almost the same with Make, but instead of just copying, I 
need
to process any source file (each in the same way) to become the corresponding
destination file (which is why rsync cannot be used).

The difficulty arises when a file is deleted from sourcedir: An ordinary 
Makefile
would just leave the corresponding (now obsolete) file being there from a 
previous
run of Make in destdir.

As this problem does not seem too special to me, I wonder if anyone knows a
good generic solution?

Thanks for any help,

Chris


_______________________________________________
Help-make mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/help-make

Reply via email to