ninja: add page (#3479)

2019-11-05 22:48:09 +01:00
parent 0a1b47ed6f
commit 7a0336b379
1 changed files with 20 additions and 0 deletions
--- a/pages/common/ninja.md
+++ b/pages/common/ninja.md
@@ -0,0 +1,20 @@
+# ninja
+
+> A Build system designed to be fast.
+> More information: <https://ninja-build.org/manual.html>.
+
+- Build in the current directory:
+
+`ninja`
+
+- Build a program in a given directory:
+
+`ninja -C {{path/to/directory}}`
+
+- Show targets (e.g. `install` and `uninstall`):
+
+`ninja -t targets`
+
+- Show help:
+
+`ninja -h`