Tim Abbott fac875a922 docs: Eliminate most development manual install docs. ...

This documentation had a tendency to bitrot, and in any case now that
we have tooling for doing Fedora (etc.) from provision, it's likely
the case that adding other Linux/UNIX distros we care about to
provision would not be difficult and is a better path than maintaining
this manually-curated duplicate of `tools/provision`.

Further, even if this documentation was maintained, one would still
end up wanting to run `provision` after rebasing a branch, so it was
never particularly practical for extended development.

2019-03-09 16:39:06 -08:00

..

index.rst

docs: Use orphan to directly exclude pages from toctree.

2018-01-24 14:37:17 -08:00

overview.md

docs: Eliminate most development manual install docs.

2019-03-09 16:39:06 -08:00

remote.md

docs: Eliminate most development manual install docs.

2019-03-09 16:39:06 -08:00

request-remote.md

docs: Update links to skip help.github.com redirects.

2019-02-26 11:03:08 -08:00

setup-advanced.md

docs: Eliminate most development manual install docs.

2019-03-09 16:39:06 -08:00

setup-vagrant.md

provision: Add provision support for Ubuntu 18.10.

2019-03-09 16:01:46 -08:00

using.md

…