Fix typo in Circle CI badge docs

diff --git a/src/doc/book/src/reference/manifest.md b/src/doc/book/src/reference/manifest.md
index 133d06592f13f5e8663fdb62f8dbbcf5454c13d6..244ba1a99e47a46e9a6670bc1b02b8276e50a92f 100644 (file)
--- a/src/doc/book/src/reference/manifest.md
+++ b/src/doc/book/src/reference/manifest.md
@@ -191,7 +191,7 @@ license-file = "..."
 # `gitlab`.
 appveyor = { repository = "...", branch = "master", service = "github" }
 
-# Circle CI: `repository` is required. `branch` is optiona; default is `master`
+# Circle CI: `repository` is required. `branch` is optional; default is `master`
 circle-ci = { repository = "...", branch = "master" }
 
 # GitLab: `repository` is required. `branch` is optional; default is `master`

diff --git a/src/doc/manifest.md b/src/doc/manifest.md
index e45311415ed8728e5d37783583cd8a07165d5d0b..1cfb7afed1602e22026f4cb86394230b8253fb5f 100644 (file)
--- a/src/doc/manifest.md
+++ b/src/doc/manifest.md
@@ -189,7 +189,7 @@ license-file = "..."
 # want to use that instead.
 appveyor = { repository = "...", branch = "master", service = "github" }
 
-# Circle CI: `repository` is required. `branch` is optiona; default is `master`
+# Circle CI: `repository` is required. `branch` is optional; default is `master`
 circle-ci = { repository = "...", branch = "master" }
 
 # GitLab: `repository` is required. `branch` is optional; default is `master`