diff options
Diffstat (limited to 'support/make4ht/extensions/make4ht-ext-common_domfilters.lua')
-rw-r--r-- | support/make4ht/extensions/make4ht-ext-common_domfilters.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/support/make4ht/extensions/make4ht-ext-common_domfilters.lua b/support/make4ht/extensions/make4ht-ext-common_domfilters.lua index 63232b22ce..802902d48d 100644 --- a/support/make4ht/extensions/make4ht-ext-common_domfilters.lua +++ b/support/make4ht/extensions/make4ht-ext-common_domfilters.lua @@ -27,7 +27,7 @@ function M.modify_build(make) count = 2 else local process = filter {"fixinlines", "idcolons", "joincharacters", "mathmlfixes", "tablerows","booktabs"} - make:match("html$", process) + make:match("html?$", process) count = 1 end return make |