Update book.toml

GitHubリポジトリがlean-ja ではなくて私の個人リポジトリの方を参照していたのを修正
lean-ja · Sep 5, 2023 · 158adf3 · 158adf3
1 parent 77aef32
commit 158adf3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/book.toml b/book.toml
@@ -6,8 +6,8 @@ src = "src"
 title = "Mathematics in type theory 日本語版"
 
 [output.html]
-git-repository-url = "https://github.com/Seasawher/math-in-type-theory-ja"
+git-repository-url = "https://github.com/lean-ja/math-in-type-theory-ja"
 
 # 日本語検索に対応していないため，無効にする
 [output.html.search]
-enable = false
+enable = false