diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2021-10-25 16:07:01 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2021-10-25 16:07:01 -0700 |
| commit | 63ec2297d26155adb0e38745bf2284cd663add8e (patch) | |
| tree | a901f22a8441e07116908d22aa4c36aa95decfa2 /Documentation/.gitignore | |
| parent | Merge branch 'ab/pkt-line-cleanup' (diff) | |
| parent | doc lint: make "lint-docs" non-.PHONY (diff) | |
| download | tgif-63ec2297d26155adb0e38745bf2284cd663add8e.tar.xz | |
Merge branch 'ab/fix-make-lint-docs'
Build fix.
* ab/fix-make-lint-docs:
doc lint: make "lint-docs" non-.PHONY
doc build: speed up "make lint-docs"
doc lint: emit errors on STDERR
doc lint: fix error-hiding regression
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 9022d48355..1c3771e7d7 100644 --- a/Documentation/.gitignore +++ b/Documentation/.gitignore @@ -14,4 +14,5 @@ manpage-base-url.xsl SubmittingPatches.txt tmp-doc-diff/ GIT-ASCIIDOCFLAGS +/.build/ /GIT-EXCLUDED-PROGRAMS |