From b256d9e49e08ddf7807a3ab81c4514a2a5548b94 Mon Sep 17 00:00:00 2001
From: Gregor Aisch <mail@driven-by-data.net>
Date: Tue, 5 Jul 2016 16:21:56 +0200
Subject: [PATCH] added make -B

---
 pages/common/make.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pages/common/make.md b/pages/common/make.md
index f9c54934b5..0985fa325b 100644
--- a/pages/common/make.md
+++ b/pages/common/make.md
@@ -18,3 +18,7 @@
 - Execute make from another directory:
 
 `make -C {{directory}}`
+
+- Force making of a rule, even if source files are unchanged
+
+`make -B {{rule}}`