diff options
| author | Junio C Hamano <gitster@pobox.com> | 2021-10-30 00:43:13 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2021-10-30 00:43:13 +0200 |
| commit | dacf0acdf69bb873c0d54cd62d8652f1de464ed6 (patch) | |
| tree | b0187a2145074ebc9eee895f9b15524e0af7ad96 /Documentation/Makefile | |
| parent | Merge branch 'ab/sh-retire-rebase-preserve-merges' (diff) | |
| parent | Documentation/Makefile: fix lint-docs mkdir dependency (diff) | |
| download | git-dacf0acdf69bb873c0d54cd62d8652f1de464ed6.tar.xz git-dacf0acdf69bb873c0d54cd62d8652f1de464ed6.zip | |
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 |