Merge pull request #10 from aconite-ac/fix-title

ドキュメントのタイトルの表記揺れを修正
lean-ja · Sep 10, 2023 · da9f844 · da9f844
2 parents 4ce154f + a25aa47
commit da9f844
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/book.toml b/book.toml
@@ -3,7 +3,7 @@ authors = ["Seasawher"]
 language = "ja"
 multilingual = false
 src = "src"
-title = "Mathematics in type theory 日本語版"
+title = "Mathematics in type theory 日本語訳"
 
 [output.html]
 git-repository-url = "https://github.com/lean-ja/math-in-type-theory-ja"