Clarify repository key format for build badges

diff --git a/src/doc/book/src/reference/manifest.md b/src/doc/book/src/reference/manifest.md
index e45fbc1748122e73e8bfd7a48c1cfd8528a03696..6a2fdc5f27f0018a4f3a3f806a194b8fa7abb1ba 100644 (file)
--- a/src/doc/book/src/reference/manifest.md
+++ b/src/doc/book/src/reference/manifest.md
@@ -187,6 +187,9 @@ license-file = "..."
 # - There are also maintenance-related badges basesed on isitmaintained.com
 #   which state the issue resolution time, percent of open issues, and future
 #   maintenance intentions.
+#
+# If a `repository` key is required, this refers to a Github repository in
+# `user/repo` format.
 [badges]
 
 # Appveyor: `repository` is required. `branch` is optional; default is `master`

diff --git a/src/doc/manifest.md b/src/doc/manifest.md
index 8ae68d0206e94f2bc5541fd0a596e6db2e9437a8..2650a516d282b8a092308eedb7b9082788986541 100644 (file)
--- a/src/doc/manifest.md
+++ b/src/doc/manifest.md
@@ -184,6 +184,9 @@ license-file = "..."
 # - There are also maintenance-related badges basesed on isitmaintained.com
 #   which state the issue resolution time, percent of open issues, and future
 #   maintenance intentions.
+#
+# If a `repository` key is required, this refers to a Github repository in
+# `user/repo` format.
 [badges]
 
 # Appveyor: `repository` is required. `branch` is optional; default is `master`