docs: finally fix minify html/css?

.github/workflows/build-and-deploy-manual.yml

@@ -188,14 +188,6 @@ jobs:
       - name: Generate site files
         run: mkdocs build
 
-      - name: HTML/CSS/JS Minifier
-        uses: docker://devatherock/minify-js:3.1.0
-        with:
-          directory: 'site/'
-          add_suffix: false
-          exclusions: |
-            *.js
-
       - name: Upload GitHub Pages artifact
         uses: actions/[email protected]
         with:

mkdocs.yml

@@ -31,22 +31,16 @@ nav:
    - 󰭷 Introduction: index.md
    - 󱚊 Specifications: specifications/index.md
 
-#plugins:
-#  - search:
-#    enabled: true
-#  - minify:
-#    minify_html: true
-    #minify_js: true
-    #minify_css: true
-    #htmlmin_opts:
-    #  remove_comments: true
-    #cache_safe: true
-    #js_files:
-    # - assets/**/*.js
-    # - assets/**/*.ts
-    # - assets/**javascript/*.tsx
-    #css_files:
-    # - assets/**/*.css
+plugins:
+  - search:
+      enabled: true
+  - minify:
+      minify_html: true
+      minify_js: true
+      js_files:
+       - assets/javascript/*.js
+       - assets/javascript/*.ts
+       - assets/javascript/*.tsx
 
 # Leverage the impressive feature set of the material theme (though the actual theming needs some work...)
 theme: