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}}`