From 7a0336b3793033e6bed51510d7ec68c3c0de4b1f Mon Sep 17 00:00:00 2001
From: r3drock <38569066+r3drock@users.noreply.github.com>
Date: Tue, 5 Nov 2019 22:48:09 +0100
Subject: [PATCH] ninja: add page (#3479)

---
 pages/common/ninja.md | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 pages/common/ninja.md

diff --git a/pages/common/ninja.md b/pages/common/ninja.md
new file mode 100644
index 0000000000..d2372c66ec
--- /dev/null
+++ 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`