diff options
author | 2022-07-06 15:42:12 +0000 | |
---|---|---|
committer | 2022-07-06 15:42:12 +0000 | |
commit | f2e398478fdc50298a013c0ea9b378cc7d8eb578 (patch) | |
tree | 3a80d02154dd8c2ce69e84a2a0159f2aca271d78 | |
parent | 18b40bb392e323f1204fc6a7782dbc298790fae7 (diff) | |
parent | 0edf93ba8d5bf641672808f010d2d2bb8b79b560 (diff) |
Merge "[DOC] Set the right branch in conf.py" into jakarta
-rw-r--r-- | docs/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/conf.py b/docs/conf.py index 3b28eb74a8..04218c30d4 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -1,6 +1,6 @@ from docs_conf.conf import * -branch = 'latest' +branch = 'jakarta' master_doc = 'index' linkcheck_ignore = [ |