diff options
| author | Junio C Hamano <junkio@cox.net> | 2005-09-21 23:29:59 +0400 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-09-21 23:29:59 +0400 |
| commit | b163512d4eb36ee946908b682c7863658c5a8db4 (patch) | |
| tree | dd3fefb733c5986e123b2f62c9833c2bb7bad99a /Documentation | |
| parent | 09d920831edba17fe983269a9d0d85e592dd4bb3 (diff) | |
Fix documentation dependency.
Randal L. Schwartz noticed that 'make install' does not rebuild what
is installed. Make the 'install' rule depend on 'man'.
I noticed also 'touch' of the source files were used to express include
dependencies, which is a no-no. Rewrite it to do dependencies properly,
and add missing include dependencies while we are at it.
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/Makefile | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 37b7fcb97d..01fad8ea5d 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -44,14 +44,16 @@ man: man1 man7 man1: $(DOC_MAN1) man7: $(DOC_MAN7) -install: +install: man $(INSTALL) -d -m755 $(DESTDIR)/$(man1) $(DESTDIR)/$(man7) $(INSTALL) $(DOC_MAN1) $(DESTDIR)/$(man1) $(INSTALL) $(DOC_MAN7) $(DESTDIR)/$(man7) # 'include' dependencies -git-diff-%.txt: diff-format.txt diff-options.txt - touch $@ +$(patsubst %.txt,%.1,$(wildcard git-diff-*.txt)): \ + diff-format.txt diff-options.txt +$(patsubst %,%.1,git-fetch git-pull git-push): pull-fetch-param.txt +git.7: ../README clean: rm -f *.xml *.html *.1 *.7 howto-index.txt howto/*.html |