tweaks

DrJingLee · Oct 3, 2023 · e40499e · e40499e
1 parent 9f74ec1
commit e40499e
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -14,7 +14,7 @@ defaults:
 
 env:
   RUSTFLAGS: --deny warnings
-  LANGUAGES: es zh ja fil
+  LANGUAGES: es zh ja fil ru
 
 jobs:
   docs:

diff --git a/docs/theme/index.hbs b/docs/theme/index.hbs
@@ -173,7 +173,7 @@
                               <a id="en">English</a>
                           </button></li>
                            <li role="none"><button role="menuitem" class="theme">
-                              <a id="es">Русский</a>
+                              <a id="ru">Русский</a>
                           </button></li>
                           <li role="none"><button role="menuitem" class="theme">
                               <a id="es">Español</a>

diff --git a/justfile b/justfile
@@ -164,7 +164,7 @@ serve-docs: build-docs
 build-docs:
   #!/usr/bin/env bash
   mdbook build docs -d build
-  for lang in "zh" "ja" "es" "fil"; do
+  for lang in "zh" "ja" "es" "fil" "ru"; do
     MDBOOK_BOOK__LANGUAGE=$lang \
       mdbook build docs -d build/$lang
     mv docs/build/$lang/html docs/build/html/$lang
-Original file line number
+Diff line change
@@ Expand Up / @@ -14,7 +14,7 @@ defaults: @@
     env:
       RUSTFLAGS: --deny warnings
-      LANGUAGES: es zh ja fil
+      LANGUAGES: es zh ja fil ru
     jobs:
       docs:
@@ Expand Down @@