threads / patch / 63640

patchdoc: provide clone commands for the pre-built docs

Subject: [PATCH] doc: provide clone commands for the pre-built docs

## tl;dr

2 messages between Jun 13, 2025 and Jun 14, 2025. Diffs are folded; open one to read it.

replies: 1people: 2as markdown or json

kristofferhaugsbakk@fastmail.com· Jun 13, 2025, 16:47 UTC · lore
From: Kristoffer Haugsbakk <code@khaugsbakk.name>

These repositories need to have these specific names. You could end up cloning the “git” organization htmldocs repository[1] which is named “htmldocs”. So you would need to provide `git-htmldocs` as the second argument. But it’s easier to clone the GitHub “gitster” user repositories since they have the expected names.

The aforementioned “git” repository also uses `gh-pages` instead of `master`. Which means that the `quick-install-html` target will fail since it expects `master` (`GIT_MAN_REF`).

[1]: https://github.com/git/htmldocs
Signed-off-by: Kristoffer Haugsbakk <code@khaugsbakk.name>
---
Notes (series):
    Spaces used for indentation here inside the comment.  I don’t know if
    that is correct.
 Documentation/Makefile | 5 +++++
 1 file changed, 5 insertions(+)
Show changes to Documentation/Makefile +5 −0
diff --git a/Documentation/Makefile b/Documentation/Makefile
index b109d25e9c8..0493a38684f 100644
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -439,6 +439,11 @@ install-webdoc : html
 
 # You must have a clone of 'git-htmldocs' and 'git-manpages' repositories
 # next to the 'git' repository itself for the following to work.
+#
+#     # From this directory
+#     cd ../..
+#     git clone https://github.com/gitster/git-htmldocs/
+#     git clone https://github.com/gitster/git-manpages/
 
 quick-install: quick-install-man
 

base-commit: b07857f7dcffee4d3b428df8dce6c9b49a57c9c1
-- 
kh/v2.50.0-rc2
Junio C Hamano· Jun 14, 2025, 04:05 UTC · re: kristofferhaugsbakk@fastmail.com · lore

Re: [PATCH] doc: provide clone commands for the pre-built docs

kristofferhaugsbakk@fastmail.com writes:
Show 7 quoted lines
> From: Kristoffer Haugsbakk <code@khaugsbakk.name>
>
> These repositories need to have these specific names.  You could end
> up cloning the “git” organization htmldocs repository[1] which is named
> “htmldocs”.  So you would need to provide `git-htmldocs` as the second
> argument.  But it’s easier to clone the GitHub “gitster” user
> repositories since they have the expected names.
I'd rather not see people do that.

← back to recent threads