diff options
| author | Nico Weber <nicolasweber@gmx.de> | 2013-07-07 19:22:38 (GMT) |
|---|---|---|
| committer | Nico Weber <nicolasweber@gmx.de> | 2013-07-07 19:23:56 (GMT) |
| commit | 8a3a941ef6b08f53f057ef50f17893cbf27e2095 (patch) | |
| tree | 3968f95a7f4e8c318aac187843293a0fbfad5b9e /doc/manual.asciidoc | |
| parent | 75918b84f78aaca2133f21622374019cd2ef17ee (diff) | |
| download | Ninja-8a3a941ef6b08f53f057ef50f17893cbf27e2095.zip Ninja-8a3a941ef6b08f53f057ef50f17893cbf27e2095.tar.gz Ninja-8a3a941ef6b08f53f057ef50f17893cbf27e2095.tar.bz2 | |
Mention pools in the discussion of ninja's toplevel declarations.
Diffstat (limited to 'doc/manual.asciidoc')
| -rw-r--r-- | doc/manual.asciidoc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/manual.asciidoc b/doc/manual.asciidoc index aa5644d..2900f28 100644 --- a/doc/manual.asciidoc +++ b/doc/manual.asciidoc @@ -588,6 +588,7 @@ rule cc command = cl /showIncludes -c $in /Fo$out ---- +[[ref_pool]] Pools ~~~~~ @@ -668,6 +669,9 @@ A file is a series of declarations. A declaration can be one of: +include _path_+. The difference between these is explained below <<ref_scope,in the discussion about scoping>>. +6. A pool declaration, which looks like +pool _poolname_+. Pools are explained + <<ref_pool, in the section on pools>>. + Lexical syntax ~~~~~~~~~~~~~~ |