diff --git a/pages/common/make.md b/pages/common/make.md
index f9c54934b..bd846611b 100644
--- a/pages/common/make.md
+++ b/pages/common/make.md
@@ -1,20 +1,24 @@
 # make
 
-> Task runner for rules described in Makefile.
+> Task runner for targets described in Makefile.
 > Mostly used to control the compilation of an executable from source code.
 
-- Call the all rule:
+- Call the first target specified in the Makefile (usually named "all"):
 
 `make`
 
-- Call a specific rule:
+- Call a specific target:
 
-`make {{rule}}`
+`make {{target}}`
 
-- Use specific Makefile:
+- Use a specific Makefile:
 
-`make -f {{file}}`
+`make --file {{file}}`
 
 - Execute make from another directory:
 
-`make -C {{directory}}`
+`make --directory {{directory}}`
+
+- Force making of a target, even if source files are unchanged:
+
+`make --always-make {{target}}`