diff options
| -rw-r--r-- | doc/manual.cli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual.cli b/doc/manual.cli index 9b89345..ad440c1 100644 --- a/doc/manual.cli +++ b/doc/manual.cli @@ -4122,7 +4122,7 @@ source subdirectory \c{buildfile} of an executable created with this option: # Unit tests. # -exe{*.test} +exe{*.test}: { test = true install = false |