{"thread":{"id":"61953","subject":"[PATCH] howto-maintain: mention preformatted docs","startedAt":"2024-08-14T23:03:32Z","lastAt":"2024-08-14T23:03:32Z","messageCount":1,"participants":["Junio C Hamano"],"isPatch":true,"patchVersion":1,"patchTotal":null},"messages":[{"id":"500943","messageId":"xmqqikw2wvup.fsf@gitster.g","threadId":"61953","inReplyTo":null,"subject":"[PATCH] howto-maintain: mention preformatted docs","fromName":"Junio C Hamano","fromEmail":"gitster@pobox.com","sentAt":"2024-08-14T23:03:26Z","receivedAt":"2024-08-14T23:03:32Z","isPatch":true,"sender":{"key":"gitster@pobox.com","avatar":"https://avatars.githubusercontent.com/u/54884?v=4"},"body":"Forgot to mention that the preformatted documentation repositories\nare updated every time the master branch of the project advances.\n\nSigned-off-by: Junio C Hamano <gitster@pobox.com>\n---\n Documentation/howto/maintain-git.txt | 4 ++++\n 1 file changed, 4 insertions(+)\n\ndiff --git a/Documentation/howto/maintain-git.txt b/Documentation/howto/maintain-git.txt\nindex 41f54050f8..da31332f11 100644\n--- a/Documentation/howto/maintain-git.txt\n+++ b/Documentation/howto/maintain-git.txt\n@@ -181,6 +181,10 @@ by doing the following:\n      $ git diff ORIG_HEAD..   ;# final review\n      $ make test              ;# final review\n \n+   If the tip of 'master' is updated, also generate the preformatted\n+   documentation and push the out result to git-htmldocs and\n+   git-manpages repositories.\n+\n  - Handle the remaining patches:\n \n    - Anything unobvious that is applicable to 'master' (in other\n-- \n2.46.0-344-g6a33a8350c\n\n"}]}