*: path/to/everything (#9589)

2022-12-04 10:12:49 +01:00
parent ab7a36fbe6
commit 0d99563193
61 changed files with 147 additions and 147 deletions
--- a/pages/common/make.md
+++ b/pages/common/make.md
@@ -18,11 +18,11 @@

 - Use a specific Makefile:

-`make --file {{file}}`
+`make --file {{path/to/file}}`

 - Execute make from another directory:

-`make --directory {{directory}}`
+`make --directory {{path/to/directory}}`

 - Force making of a target, even if source files are unchanged: