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 | |
parent | Merge branch 'ab/sh-retire-rebase-preserve-merges' (diff) | |
parent | Documentation/Makefile: fix lint-docs mkdir dependency (diff) | |
download | tgif-dacf0acdf69bb873c0d54cd62d8652f1de464ed6.tar.xz |
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
-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 |