I had very particular needs, and
make turns out to be a very reasonable tool for them.
Essentially, I have a complex personal directory, always changing and containing all sorts of various scripts for multiple programming languages, photos, notes, html archives, etc.
I publish a subset of these files, on this website. This means that some have to go through a post-processing script first.
makefile does is,
- take all the files in a source directory, and flatten them into a destination one,
- if any file is changed, that file alone should be post-processed and updated,
- if the post-processing script is changed, all files need to go through the grinder,