Move the blog out of versioned docs

rzk-lang · Dec 12, 2023 · e438820 · e438820
1 parent 170ba15
commit e438820
Show file tree

Hide file tree

Showing 7 changed files with 34 additions and 33 deletions.
diff --git a/docs/config/en/mkdocs.yml b/docs/config/en/mkdocs.yml
@@ -43,8 +43,7 @@ nav:
     - Examples:
       - Weak tope disjunction elimination: examples/recId.rzk.md
   - Playground: playground/index.html
-  - Blog:
-    - blog/index.md
+  - Blog: blog/index.html
 
 theme:
   language: en
@@ -67,14 +66,6 @@ theme:
         name: "Switch to light mode"
 
 plugins:
-  - blog
-  - rss:
-      match_path: blog/posts/.*
-      date_from_meta:
-        as_creation: date
-      categories:
-        - categories
-        # - tags
   - social
   - mike:
       deploy_prefix: 'en/'

diff --git a/docs/config/ru/mkdocs.yml b/docs/config/ru/mkdocs.yml
@@ -43,6 +43,7 @@ nav:
     - Примеры:
       - Слабое устранение объединений форм: examples/recId.rzk.md
   - Песочница: playground/index.html
+  - Блог (англ.): blog/index.html
 
 theme:
   language: ru

diff --git a/docs/docs/en/blog/.authors.yml b/docs/docs/en/blog/.authors.yml
diff --git a/docs/docs/en/blog/index.html b/docs/docs/en/blog/index.html
@@ -0,0 +1,16 @@
+<!DOCTYPE html>
+<html>
+<head>
+  <meta charset="utf-8">
+  <title>Redirecting</title>
+  <noscript>
+    <meta http-equiv="refresh" content="1; url=../../blog/" />
+  </noscript>
+  <script>
+    window.location.replace("../../blog/" + window.location.hash);
+  </script>
+</head>
+<body>
+  Redirecting to <a href="../../blog/">Blog/</a>...
+</body>
+</html>
diff --git a/docs/docs/en/blog/index.md b/docs/docs/en/blog/index.md
diff --git a/docs/docs/en/blog/posts/2023-12-10-we-have-a-blog-now.md b/docs/docs/en/blog/posts/2023-12-10-we-have-a-blog-now.md
diff --git a/docs/docs/ru/blog/index.html b/docs/docs/ru/blog/index.html
@@ -0,0 +1,16 @@
+<!DOCTYPE html>
+<html>
+<head>
+  <meta charset="utf-8">
+  <title>Redirecting</title>
+  <noscript>
+    <meta http-equiv="refresh" content="1; url=../../../en/blog/" />
+  </noscript>
+  <script>
+    window.location.replace("../../../en/blog/" + window.location.hash);
+  </script>
+</head>
+<body>
+  Redirecting to <a href="../../../en/blog/">Blog/</a>...
+</body>
+</html>