docs: remove dead packages and add package availability notes #4681
Conversation
bastimeyer
force-pushed
the
docs/remove-dead-packages
branch
from
81bf365
to
0f49f09
Compare
There was a problem hiding this comment.
Sorry for not commenting on the previous issue @bastimeyer, I don't even remember reading it so I must have missed it. I think the removal plan is good. Some small feedback about the wording in the package availability section.
docs/install.rst
Outdated
| If a package is not available for your operating system / distro or your system's architecture, or if it's out of date | ||
| or broken, then please contact the respective package maintainers or package-repository maintainers. | ||
|
|
||
| Please open an issue or pull request on GitHub if an available and maintained package is missing from the install docs. |
There was a problem hiding this comment.
Do we even want to say this? I feel like people will interpret this incorrectly and open issues because packages are missing any way. Can we make the assumption that package maintainers know what to do?
There was a problem hiding this comment.
Package maintainers usually don't know or don't care about external documentation. What they care about is the availability of software in their package repos.
I've reworded the section a bit and put more emphasis on when to open issues / PRs for unlisted packages.
bastimeyer
force-pushed
the
docs/remove-dead-packages
branch
from
0f49f09
to
8d823f0
Compare
bastimeyer
force-pushed
the
docs/remove-dead-packages
branch
from
8d823f0
to
f93b1d9
Compare
|
Looks great to me! |
Closes #4670
Since nobody has had anything to comment about my suggested removal of dead packages from the install docs, I'm just going to submit a PR.
Please see the rendered docs fist. I've tried to be as precise and short as possible in the added notes. I don't mind rewriting/improving it though.
The removals are done in separate commits, in case we want to revert this later on, should the package maintainers start maintaining the packages again.