small tweaks

2020-09-06 00:07:53 -04:00
parent 7b6d07a812
commit 77789f9ed8
2 changed files with 15 additions and 9 deletions
--- a/doc/src/_ext/tab_or_note.py
+++ b/doc/src/_ext/tab_or_note.py
@ -1,7 +1,7 @@

 def replace_tabs_handler(app, docname, source):
    """ When builder is not 'html', remove 'tabs' directive
-    and replace 'tab' directive with 'admonition'"""
+    and replace any 'tab' directive with 'admonition'"""
    if app.builder.name != 'html':
        for i in range(len(source)):
            str = source[i].replace('.. tabs::','')