diff --git a/pages/common/make.md b/pages/common/make.md index 12a4b73fd0..0fa5a697a7 100644 --- a/pages/common/make.md +++ b/pages/common/make.md @@ -28,6 +28,10 @@ `make --always-make {{target}}` +- Override a variable defined in the Makefile: + +`make {{target}} {{variable}}={{new_value}}` + - Override variables defined in the Makefile by the environment: `make --environment-overrides {{target}}`