projects / platform / upstream / ninja.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c0d41c) | patch
move pool docs down under "more details"
authorEvan Martin <martine@danga.com>
Wed, 10 Apr 2013 17:03:55 +0000 (10:03 -0700)
committerEvan Martin <martine@danga.com>
Wed, 10 Apr 2013 17:03:55 +0000 (10:03 -0700)
commitec6b0e7af9a2605538b6265e66adfe75bdc019f7
treea92b812cce563a3e7d66c3e567d07a58a83d2fb3tree | snapshot
parent8c0d41c7e1b4ebb8b183a9e5eae52c90d99bd196commit | diff
move pool docs down under "more details"

The earlier section is a tutorial-style overview.  The latter section
is for side features like phony rules and header dependencies.  Pools
fit in with the latter.
doc/manual.asciidoc diff | blob | history
Domain: System / Base;