diff --git a/.mono.toml b/.mono.toml index 8b76b92..f1f7d96 100644 --- a/.mono.toml +++ b/.mono.toml @@ -21,7 +21,7 @@ # FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS # IN THE SOFTWARE. -[changeset.scopes] +[scopes] compat = "python/**" docker = "Dockerfile" ui = "scripts/**" diff --git a/python/zensical/extensions/search.py b/python/zensical/extensions/search.py index 6f40f4c..0c007e2 100644 --- a/python/zensical/extensions/search.py +++ b/python/zensical/extensions/search.py @@ -378,6 +378,7 @@ keep = { "li", "ol", "ul", + "small", "sub", "sup", } diff --git a/scripts/prepare.py b/scripts/prepare.py index b285377..8f9c115 100755 --- a/scripts/prepare.py +++ b/scripts/prepare.py @@ -39,7 +39,7 @@ def main() -> int: # Clone UI repository into tmp directory repo_url = "https://github.com/zensical/ui.git" - repo_tag = "v0.0.18" + repo_tag = "v0.0.19" dest_dir = os.path.join("tmp", "ui") if not os.path.exists(dest_dir): subprocess.run(["git", "clone", repo_url, dest_dir], check=True)