diff options
| author | Erik Faye-Lund <erik.faye-lund@collabora.com> | 2021-02-03 12:14:47 +0100 |
|---|---|---|
| committer | Marge Bot <eric+marge@anholt.net> | 2021-04-01 08:33:41 +0000 |
| commit | 24db6ee03f7213bf198d3514ece31a03a4319924 (patch) | |
| tree | b68f4100e5dc700fb29dc40debf427b0717c216b | |
| parent | 1f35b05ee5b43b8941aece1b8246650a33d1e49d (diff) | |
docs: spell out development
The "-devel"-suffix is only helpful to RedHat users. Debian based
distros use "-dev" instead. But let's get out of the distro-specific
business, and instead just spell out "development", as this applies
regardless of naming-scheme.
Reviewed-by: Eric Anholt <eric@anholt.net>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/9947>
| -rw-r--r-- | docs/install.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/install.rst b/docs/install.rst index 2f20fdfd75c..2878f8a84f9 100644 --- a/docs/install.rst +++ b/docs/install.rst @@ -60,8 +60,8 @@ Third party/extra tools. ~~~~~~~~~~~~~~~~ The requirements depends on the features selected at configure stage. -Check/install the respective -devel package as prompted by the configure -error message. +Check/install the respective development package as prompted by the +configure error message. Here are some common ways to retrieve most/all of the dependencies based on the packaging tool used by your distro. |