From fa4003d79364d059ff4ebeee3f11c3f303e9b25d Mon Sep 17 00:00:00 2001
From: tmigot <tangi.migot@gmail.com>
Date: Mon, 22 Feb 2021 01:03:05 +0100
Subject: [PATCH] fix make.jl with new doc

---
 docs/make.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/make.jl b/docs/make.jl
index d7835f1e..a5cf9ce0 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -6,7 +6,7 @@ makedocs(
     format = Documenter.HTML(assets = ["assets/style.css"], prettyurls = get(ENV, "CI", nothing) == "true"),
     modules = [Stopping],
     pages = [
-             "Home" => "index.md"
+             "Home" => "index.md",
              "API" => "api.md",
              "Stopping's ID" => "idcard.md",
              "State's ID" => "idcard-state.md",