diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual.cli | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/manual.cli b/doc/manual.cli index 6a7e6b4..cbca17d 100644 --- a/doc/manual.cli +++ b/doc/manual.cli @@ -614,9 +614,9 @@ license: <licenses> [; <comment>] [depends]: [?][*] <alternatives> [; <comment>] [requires]: [?] [<alternatives>] [; <comment>] -[tests]: <name> [<version-constraint>] -[examples]: <name> [<version-constraint>] -[benchmarks]: <name> [<version-constraint>] +[tests]: [*] <name> [<version-constraint>] +[examples]: [*] <name> [<version-constraint>] +[benchmarks]: [*] <name> [<version-constraint>] [builds]: <class-expr> [; <comment>] [build-include]: <config>[/<target>] [; <comment>] |