Skip to contentSkip to conversation

howto-maintain: mention preformatted docs

PATCH New Junio C Hamano 1 participant 1 message Aug 14, 2024 Documentation

lore
Share & tools
lore

Junio C Hamano

author
#0 lore raw

PATCH 1/1 howto-maintain: mention preformatted docs

Forgot to mention that the preformatted documentation repositories are updated every time the master branch of the project advances.

Signed-off-by Junio C Hamano <[email protected]>
---
 Documentation/howto/maintain-git.txt | 4 ++++
 1 file changed, 4 insertions(+)
Documentation/howto/maintain-git.txt +4 -0
index 41f54050f8..da31332f11 100644
@@ -181,6 +181,10 @@ by doing the following:
      $ git diff ORIG_HEAD..   ;# final review
      $ make test              ;# final review
 
+   If the tip of 'master' is updated, also generate the preformatted
+   documentation and push the out result to git-htmldocs and
+   git-manpages repositories.
+
  - Handle the remaining patches:
 
    - Anything unobvious that is applicable to 'master' (in other
Signature · 1 line
2.46.0-344-g6a33a8350c