diff options
| author | Junio C Hamano <junkio@cox.net> | 2005-11-08 05:21:51 +0300 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2005-11-08 05:21:51 +0300 |
| commit | a5ae8e64cfa09cea57cce832c8371818711d94c2 (patch) | |
| tree | 92e334771c9bfda4c84c915a050d3981b6d923cd /Documentation/.gitignore | |
| parent | 79f6ac77d90660971d778f2e300935ab16eb26c2 (diff) | |
Fix documentation dependency generation.
Documentation/Makefile spent a lot of time to generate include
dependencies, which was quite noticeable especially during "make clean".
Rewrite it to generate just a single dependency file.
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/.gitignore')
| -rw-r--r-- | Documentation/.gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/.gitignore b/Documentation/.gitignore index dad52b80d3..9fef490871 100644 --- a/Documentation/.gitignore +++ b/Documentation/.gitignore @@ -3,3 +3,4 @@ *.1 *.7 howto-index.txt +doc.dep |