summaryrefslogtreecommitdiff
path: root/docs/source
diff options
context:
space:
mode:
authorOpenShift Merge Robot <openshift-merge-robot@users.noreply.github.com>2022-03-10 12:18:41 -0500
committerGitHub <noreply@github.com>2022-03-10 12:18:41 -0500
commita5e327941423983529b771a03691dc2fe2390e0f (patch)
tree8f3f7154750132d58a1e29429aaf94dfdd347e27 /docs/source
parent32fd5d885a648c65158a2127332f9b0a0f2d6fa0 (diff)
parentf13ca392c67ee957efdf64f178c5ca05f5f6d8c7 (diff)
downloadpodman-a5e327941423983529b771a03691dc2fe2390e0f.tar.gz
podman-a5e327941423983529b771a03691dc2fe2390e0f.tar.bz2
podman-a5e327941423983529b771a03691dc2fe2390e0f.zip
Merge pull request #13440 from eriksjolund/remove_web_tab_number
[CI:DOCS] Remove "(1)" from web tab text
Diffstat (limited to 'docs/source')
-rw-r--r--docs/source/conf.py9
1 files changed, 7 insertions, 2 deletions
diff --git a/docs/source/conf.py b/docs/source/conf.py
index 7684dd3f7..505bcbec7 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -72,8 +72,13 @@ def convert_markdown_title(app, docname, source):
docpath = app.env.doc2path(docname)
if docpath.endswith(".md"):
# Convert pandoc title line into eval_rst block for myst_parser
- source[0] = re.sub(r"^% (.*)", r"```{title} \g<1>\n```", source[0])
-
+ #
+ # Remove the ending "(1)" to avoid it from being displayed
+ # in the web tab. Often such a text indicates that
+ # a web page got an update. For instance GitHub issues
+ # shows the number of new comments that have been written
+ # after the user's last visit.
+ source[0] = re.sub(r"^% (.*)(\(\d\))", r"```{title} \g<1>\n```", source[0])
def setup(app):
app.connect("source-read", convert_markdown_title)