Clarify docs on workspace members

diff --git a/src/doc/manifest.md b/src/doc/manifest.md
index 1b31064fbe20ec47a19d2c9ecf86bd226bf58a04..7531f04548d520a12f69148859e56ac433ff2297 100644 (file)
--- a/src/doc/manifest.md
+++ b/src/doc/manifest.md
@@ -457,10 +457,12 @@ as:
 ```toml
 [workspace]
 
-# Optional key, inferred if not present
+# Optional key, inferred from path dependencies if not present.
+# Additional non-path dependencies that should be included must be given here.
+# In particular, for a virtual manifest, all members have to be listed.
 members = ["path/to/member1", "path/to/member2", "path/to/member3/*"]
 
-# Optional key, empty if not present
+# Optional key, empty if not present.
 exclude = ["path1", "path/to/dir2"]
 ```