Replace directory name for github pages. s/doc/docs/

author Tatsuro Yamada <yamatattsu@gmail.com>

Sun, 15 Nov 2020 12:04:38 +0000 (21:04 +0900)

committer Kyotaro Horiguchi <horikyota.ntt@gmail.com>

Thu, 25 Nov 2021 09:19:23 +0000 (18:19 +0900)
author Tatsuro Yamada <yamatattsu@gmail.com>
Sun, 15 Nov 2020 12:04:38 +0000 (21:04 +0900)
committer Kyotaro Horiguchi <horikyota.ntt@gmail.com>
Thu, 25 Nov 2021 09:19:23 +0000 (18:19 +0900)
diff --git a/doc/index.html b/docs/index.html

similarity index 100%

rename from doc/index.html

rename to docs/index.html
diff --git a/doc/stylesheet.css b/docs/stylesheet.css

similarity index 100%

rename from doc/stylesheet.css

rename to docs/stylesheet.css
author	Tatsuro Yamada <yamatattsu@gmail.com>
	Sun, 15 Nov 2020 12:04:38 +0000 (21:04 +0900)
committer	Kyotaro Horiguchi <horikyota.ntt@gmail.com>
	Thu, 25 Nov 2021 09:19:23 +0000 (18:19 +0900)
docs/index.html	[moved from doc/index.html with 100% similarity]	patch \| blob \| history
docs/stylesheet.css	[moved from doc/stylesheet.css with 100% similarity]	patch \| blob \| history