From 4b3a0f2ee78ee149213fc7f5a64ea505e5b0d365 Mon Sep 17 00:00:00 2001 From: Managor <42655600+Managor@users.noreply.github.com> Date: Mon, 8 Dec 2025 05:57:22 +0200 Subject: [PATCH] install: remove redundancy in header (#19788) --- pages/common/install.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pages/common/install.md b/pages/common/install.md index bada5693c6..4024d345b2 100644 --- a/pages/common/install.md +++ b/pages/common/install.md @@ -1,7 +1,7 @@ # install > Copy files and set attributes. -> Copy files (often executable) to a system location like `/usr/local/bin`, give them the appropriate permissions/ownership. +> Typically used by Makefiles. > More information: . - Copy files to the destination: