Add gitlab to the supported services for AppVeyor badges.

This is undocumented but supported behavior for AppVeyor.

diff --git a/src/doc/manifest.md b/src/doc/manifest.md
index df55c0dc1f563d4a4eabf4453d5729b738b0c7dd..bf07ebe26b7b288e188be5a633b4e8b32ba7fc33 100644 (file)
--- a/src/doc/manifest.md
+++ b/src/doc/manifest.md
@@ -148,7 +148,8 @@ license-file = "..."
 # Travis CI: `repository` is required. `branch` is optional; default is `master`
 travis-ci = { repository = "...", branch = "master" }
 # Appveyor: `repository` is required. `branch` is optional; default is `master`
-# `service` is optional; valid values are `github` (default) and `bitbucket`
+# `service` is optional; valid values are `github` (default), `bitbucket`, and
+# `gitlab`.
 appveyor = { repository = "...", branch = "master", service = "github" }
 ```