diff options
| author | Jonathan Nieder <jrnieder@gmail.com> | 2010-01-06 08:06:58 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2010-01-06 09:33:45 (GMT) |
| commit | 13fca9f36b6dfa1a4a8bb3a67bb9a41705bea68a (patch) | |
| tree | df7924d858780a47407c8bac1a05925901ff17c5 /Documentation/Makefile | |
| parent | de54e67c1a892167ade274017a946de1f99920d1 (diff) | |
| download | git-13fca9f36b6dfa1a4a8bb3a67bb9a41705bea68a.zip git-13fca9f36b6dfa1a4a8bb3a67bb9a41705bea68a.tar.gz git-13fca9f36b6dfa1a4a8bb3a67bb9a41705bea68a.tar.bz2 | |
Makefile: consolidate .FORCE-* targets
Providing multiple targets to force a rebuild is unnecessary
complication.
Avoid using a name that could conflict with future special
targets in GNU make (a leading period followed by uppercase
letters).
The corresponding change to the git-gui Makefile is left for
another patch.
Signed-off-by: Jonathan Nieder <jrnieder@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/Makefile')
| -rw-r--r-- | Documentation/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 4797b2d..8a8a395 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -204,7 +204,7 @@ install-pdf: pdf install-html: html '$(SHELL_PATH_SQ)' ./install-webdoc.sh $(DESTDIR)$(htmldir) -../GIT-VERSION-FILE: .FORCE-GIT-VERSION-FILE +../GIT-VERSION-FILE: FORCE $(QUIET_SUBDIR0)../ $(QUIET_SUBDIR1) GIT-VERSION-FILE -include ../GIT-VERSION-FILE @@ -337,4 +337,4 @@ quick-install-man: quick-install-html: '$(SHELL_PATH_SQ)' ./install-doc-quick.sh $(HTML_REF) $(DESTDIR)$(htmldir) -.PHONY: .FORCE-GIT-VERSION-FILE +.PHONY: FORCE |