diff options
| author |  Jonathan Nieder <jrnieder@gmail.com> | 2010-01-06 02:06:58 -0600 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2010-01-06 01:33:45 -0800 |
| commit | 13fca9f36b6dfa1a4a8bb3a67bb9a41705bea68a (patch) | |
| tree | df7924d858780a47407c8bac1a05925901ff17c5 /Documentation | |
| parent | Makefile: learn to generate listings for targets requiring special flags (diff) | |
| download | tgif-13fca9f36b6dfa1a4a8bb3a67bb9a41705bea68a.tar.xz | |
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')
| -rw-r--r-- | Documentation/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 4797b2dc35..8a8a3954dc 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 |