diff --git a/pages/common/make.md b/pages/common/make.md index ea7b7a009..79e0de0ae 100644 --- a/pages/common/make.md +++ b/pages/common/make.md @@ -26,3 +26,7 @@ - Force making of a target, even if source files are unchanged: `make --always-make {{target}}` + +- Override variables defined in the Makefile by the environment: + +`make --environment-overrides {{target}}`