Merge pull request #14 from open-eid/cleanup

Remove htmle files

Author: kristelmerilain

.github/workflows/pages.yml

@@ -22,6 +22,7 @@ jobs:
         mkdocs build
         sed -ie 's!jquery-1.10.2.min.js!jquery-3.5.0.min.js!' site/404.html
         sed -ie 's!jquery-1.10.2.min.js!jquery-3.5.0.min.js!' site/index.html
+        rm site/*.htmle
         rm site/js/jquery*
         curl -o site/js/jquery-3.5.0.min.js https://code.jquery.com/jquery-3.5.0.min.js
         mv site/* ..