You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: docs/build_docs/docs_build_tips.md
+13-8
Original file line number
Diff line number
Diff line change
@@ -18,35 +18,40 @@ If the PR doesn't impact documentation (for example, it only contains code chang
18
18
19
19
When releasing a new product version, a git tag must be added to main branch. The release version will be the same as the `tag` name.
20
20
21
-
It needs to be triggered and commit to branch`gh-pages` manually.
21
+
Generating the publishing the documentation for a release must be triggered manually, and the resulting HTML content committed to the`gh-pages`branch manually. (The github.io site will be updated automatically when this `gh-pages` branch is updated.)
22
22
23
-
`
23
+
Note: Only GitHub users with write permission to the repo are able to update the `gh-pages` branch content.
0 commit comments