diff options
| author |  Jonathan Nieder <jrnieder@gmail.com> | 2012-07-06 23:19:09 -0500 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2012-07-09 08:57:52 -0700 |
| commit | 7b63c77eeea7cc4bf3d29793bcb95dcf659e5126 (patch) | |
| tree | 759fc900bae09290f938bccd0bd2df2add002566 /contrib/mw-to-git/git-remote-mediawiki | |
| parent | Makefile: move GIT-VERSION-FILE dependencies closer to use (diff) | |
| download | tgif-7b63c77eeea7cc4bf3d29793bcb95dcf659e5126.tar.xz | |
Makefile: document ground rules for target-specific dependencies
When a source file makes use of a makefile variable, there should be a
corresponding dependency on a file that changes when that variable
changes to ensure the build output is not left stale when the variable
changes.
Document this, even though we are not following the rule perfectly
yet. Based on an explanation from Jeff King.
Signed-off-by: Jonathan Nieder <jrnieder@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'contrib/mw-to-git/git-remote-mediawiki')
0 files changed, 0 insertions, 0 deletions