gitignore site dir

Evdigi-INA · May 8, 2024 · 6a76945 · 6a76945
1 parent d13288b
commit 6a76945
Show file tree

Hide file tree

Showing 23 changed files with 1,250 additions and 760 deletions.
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -17,12 +17,13 @@ plugins:
 
 theme:
   name: material
+  custom_dir: overrides
   features:
     - announce.dismiss
     - content.code.annotate
     - content.tabs.link
     - content.tooltips
-    # - header.autohide
+    - header.autohide
     - navigation.expand
     - navigation.indexes
     - navigation.instant

diff --git a/overrides/main.html b/overrides/main.html
@@ -0,0 +1,8 @@
+{% extends "base.html" %}
+
+{% block outdated %}
+  You're not viewing the latest version.
+  <a href="{{ '../' ~ base_url }}"> 
+    <strong>Click here to go to latest.</strong>
+  </a>
+{% endblock %}
diff --git a/site/404.html b/site/404.html
diff --git a/site/assets/javascripts/bundle.efa0ade1.min.js b/site/assets/javascripts/bundle.efa0ade1.min.js
diff --git a/site/assets/javascripts/bundle.efa0ade1.min.js.map b/site/assets/javascripts/bundle.efa0ade1.min.js.map
diff --git a/site/assets/javascripts/lunr/min/lunr.ko.min.js b/site/assets/javascripts/lunr/min/lunr.ko.min.js
diff --git a/site/assets/javascripts/lunr/min/lunr.zh.min.js b/site/assets/javascripts/lunr/min/lunr.zh.min.js
diff --git a/site/assets/javascripts/lunr/wordcut.js b/site/assets/javascripts/lunr/wordcut.js
diff --git a/site/assets/javascripts/workers/search.208ed371.min.js b/site/assets/javascripts/workers/search.208ed371.min.js
diff --git a/site/assets/javascripts/workers/search.208ed371.min.js.map b/site/assets/javascripts/workers/search.208ed371.min.js.map
diff --git a/site/assets/stylesheets/main.c4a75a56.min.css b/site/assets/stylesheets/main.c4a75a56.min.css
diff --git a/site/assets/stylesheets/main.c4a75a56.min.css.map b/site/assets/stylesheets/main.c4a75a56.min.css.map
diff --git a/site/assets/stylesheets/palette.a0c5b2b5.min.css b/site/assets/stylesheets/palette.a0c5b2b5.min.css