doc: minify the doc website.

2023-10-09 22:07:45 +01:00 · 2023-10-09 22:07:45 +01:00 · 1048283b5c
commit 1048283b5c
parent f5e3c86c6c
2 changed files with 3 additions and 0 deletions
--- a/mkdocs.yml
+++ b/mkdocs.yml
@ -61,6 +61,8 @@ plugins:
  - git-revision-date-localized:
      enable_creation_date: true
      fallback_to_build_date: true
+  - minify:
+      minify_html: true

 # Customization
 extra: