Ninja is a small build system with a focus on speed.
-http://ninja-build.org/
+https://ninja-build.org/
-See the manual -- http://ninja-build.org/manual.html or
+See the manual -- https://ninja-build.org/manual.html or
doc/manual.asciidoc included in the distribution -- for background
and more details.