* Add install/update instructions database
* Update the database
* Revert README changes
They will be overwritten later.
* Revert
* Tweak
* Tweaks
* Upgrade database
* Complete commands
Still not sure about Spack upgrades.
* Sort
* Doc generation script draft
* Remove OS names from tool names
* Fix Linuxbrew name
* `wheel` already installs `setuptools`
* Gen docs
* Update
* Tweak
* Add a GitHub workflow to check for outdated installation instructions
* Fix return value
* Test
* Delete test
* Rename the script
* Add `make doc-install-inst`
* Add missing dev requirement
* The first tool is the primary we want to display
Then they are simply sorted by `tool.title`.
* Sort OSes by name
* Refactoring, jinja template, etc.
* Add tool title uniqueness `assert`, fix platform list extra `\n`
* Rebuild docs
* Update generate.py
* Update README.md
* Update methods.yml
* Update distros derived, more assertions
* Tweaks
* Add workflow to auto-update the docs
* Do not hide the command
* Tweaks
Co-authored-by: Jakub Roztocil <jakub@roztocil.co>