From 158adf343328c5993bf3d032d346ad82aa8595e5 Mon Sep 17 00:00:00 2001
From: Kitamado <47292598+Seasawher@users.noreply.github.com>
Date: Tue, 5 Sep 2023 18:42:16 +0900
Subject: [PATCH] Update book.toml
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

GitHubリポジトリがlean-ja ではなくて私の個人リポジトリの方を参照していたのを修正
---
 book.toml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/book.toml b/book.toml
index 81eefc5..2fb73a7 100644
--- 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
\ No newline at end of file
+enable = false