diff options
| -rw-r--r-- | doc/manual.asciidoc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/manual.asciidoc b/doc/manual.asciidoc index 2062a2a..214dca4 100644 --- a/doc/manual.asciidoc +++ b/doc/manual.asciidoc @@ -1046,6 +1046,9 @@ relative path, pointing to the same file, are considered different by Ninja. [[validations]] Validations ~~~~~~~~~~~ + +_Available since Ninja 1.11._ + Validations listed on the build line cause the specified files to be added to the top level of the build graph (as if they were specified on the Ninja command line) whenever the build line is a transitive |