doc(next): remove emoji

moonbitlang · Nov 27, 2024 · 8344151 · 8344151
1 parent bb38d13
commit 8344151
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git a/next/conf.py b/next/conf.py
@@ -29,5 +29,14 @@
 html_theme = 'alabaster'
 html_static_path = ['_static']
 
+# -- Options for LaTeX output ------------------------------------------------
+# https://www.sphinx-doc.org/en/master/usage/configuration.html#options-for-latex-output
+latex_engine = 'xelatex'
+latex_elements = {
+    'preamble': r'''
+    \usepackage{xeCJK}
+    ''',
+}
+
 # -- Options for myst_parser -------------------------------------------------
 myst_heading_anchors = 3
diff --git a/next/language/language.md b/next/language/language.md
@@ -799,7 +799,7 @@ Output:
 ```moonbit
 let a : Char = 'A'
 let b = '\x41'
-let c = '🐰'
+let c = '兔'
 let zero = '\u{30}'
 let zero = '\u0030'
 ```