diff options
author | David Greaves <david@dgreaves.com> | 2005-05-12 22:31:05 +0100 |
---|---|---|
committer | Petr Baudis <xpasky@machine.sinus.cz> | 2005-05-14 00:01:41 +0200 |
commit | f77b100ada80e9d149bf763ae64d563352ebb577 (patch) | |
tree | 9a995c5091bc2d25a66ebb7cce352c988e8bfb60 /Documentation | |
parent | 6ca45943121a92cad5c6ebef71764fb441bff356 (diff) | |
download | git-f77b100ada80e9d149bf763ae64d563352ebb577.tar.gz |
The Makefile is now aware of Documentation/ include directives
It makes the includers (diff commands documentation) depend on the includee
(diff format description).
Signed-off-by: David Greaves <david@dgreaves.com>
Signed-off-by: Petr Baudis <pasky@ucw.cz>
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index b23991d52b..a3ad85dce7 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -8,8 +8,9 @@ html: $(DOC_HTML) man: $(DOC_MAN) -git-%: %.c $(LIB_FILE) - $(CC) $(CFLAGS) -o $@ $(filter %.c,$^) $(LIBS) +# 'include' dependencies +git-diff-%.txt: diff-format.txt + touch $@ clean: rm -f *.xml *.html *.1 |