Merge pull request #15 from Lean-zh/ci

Change CI to add gettext
Lean-zh · May 14, 2024 · 40b726d · 40b726d
2 parents 99c8b8f + 94b8fae
commit 40b726d
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -59,6 +59,10 @@ jobs:
         crate: mdbook-wordcount
         version: latest
 
+    - name: Build example code
+      run: |
+        cargo install mdbook-i18n-helpers
+
     - name: Build example code
       run: |
         cd examples
@@ -67,7 +71,7 @@ jobs:
     - name: Build book
       run: |
         cd functional-programming-lean
-        mdbook build
+        MDBOOK_BOOK__LANGUAGE=zh-CN mdbook build
 
     - name: Zip html contents
       run: |