diff options
| author | Junio C Hamano <gitster@pobox.com> | 2021-10-29 15:43:13 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2021-10-29 15:43:13 -0700 |
| commit | dacf0acdf69bb873c0d54cd62d8652f1de464ed6 (patch) | |
| tree | b0187a2145074ebc9eee895f9b15524e0af7ad96 /Documentation/Makefile | |
| parent | 942843e8dd3acd895c4179587ca83bebd857d811 (diff) | |
| parent | 4c64fb5aad93dd2efe07bce943852ba4ce41ed26 (diff) | |
| download | git-dacf0acdf69bb873c0d54cd62d8652f1de464ed6.tar.gz | |
Merge branch 'ab/fix-make-lint-docs'
Hotfix for a topic recently merged to 'master'.
* ab/fix-make-lint-docs:
Documentation/Makefile: fix lint-docs mkdir dependency
Diffstat (limited to 'Documentation/Makefile')
| -rw-r--r-- | Documentation/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 911b6bf79c..ed656db2ae 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -472,9 +472,9 @@ print-man1: ## Lint: gitlink .build/lint-docs/gitlink: | .build/lint-docs $(QUIET)mkdir $@ -.build/lint-docs/gitlink/howto: | .build/lint-docs +.build/lint-docs/gitlink/howto: | .build/lint-docs/gitlink $(QUIET)mkdir $@ -.build/lint-docs/gitlink/config: | .build/lint-docs +.build/lint-docs/gitlink/config: | .build/lint-docs/gitlink $(QUIET)mkdir $@ LINT_DOCS_GITLINK = $(patsubst %.txt,.build/lint-docs/gitlink/%.ok,$(HOWTO_TXT) $(DOC_DEP_TXT)) $(LINT_DOCS_GITLINK): | .build/lint-docs/gitlink |