make more compact

2020-09-06 06:10:39 -04:00
parent 77789f9ed8
commit 5536c1e6ee
1 changed files with 1 additions and 3 deletions
--- a/doc/src/_ext/tab_or_note.py
+++ b/doc/src/_ext/tab_or_note.py
@ -4,9 +4,7 @@ def replace_tabs_handler(app, docname, source):
    and replace any 'tab' directive with 'admonition'"""
    if app.builder.name != 'html':
        for i in range(len(source)):
-            str = source[i].replace('.. tabs::','')
-            str = str.replace('.. tab::','.. admonition::')
-            source[i] = str
+            source[i] = source[i].replace('.. tabs::','').replace('.. tab::','.. admonition::')

 def setup(app):
    app.connect('source-read', replace_tabs_handler)