wok-6.x diff ninja/description.txt @ rev 25241

updated python-sphinx (1.8.5 -> 1.8.6)
author: Hans-G?nter Theisgen
date: Thu Jul 14 06:35:33 2022 +0100 (2022-07-14)
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/ninja/description.txt	Thu Jul 14 06:35:33 2022 +0100
     1.3 @@ -0,0 +1,5 @@
     1.4 +Ninja is a small build system with a focus on speed.
     1.5 +It differs from other build systems in two major respects:
     1.6 +it is designed to have its input files generated by a
     1.7 +higher-level build system, and
     1.8 +it is designed to run builds as fast as possible.