Page modification request: make

[Managor]

Command description

make install is a very often used command but it is not found in the page for make.

Command details

No response

Documentation

No response

Platform

Common

VCS repository link (e.g. GitHub, GitLab)

No response

Additional information

No response

[jxu]

Isn't this just a common rule in Makefiles?

[Managor]

Ah, so that's what it was. Maybe the make {{target}} could be changed to make {{build|install|...}} plus whatever extra one can think of.