diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-07-29 12:40:00 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-29 19:40:00 +0000 |
commit | 4d9c96a34c2e4ce67ab7851dbd87e4e8e49b0f62 (patch) | |
tree | e0b1550c2ec0ae2e657fa4676a8c2a9b70a0a92c /docs | |
parent | 175fbd30ef230a29dd217a65fd3cfb250ff8243a (diff) |
Integrate installation instructions into documentation (#6814)
This PR migrates the current INSTALL.md to an rst file and then includes it in the documentation. It also does some minor improvements to this file, in particular it now mentions --dep-path
Diffstat (limited to 'docs')
-rw-r--r-- | docs/installation/installation.rst | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/installation/installation.rst b/docs/installation/installation.rst index e50cd8d4b..efa9937fe 100644 --- a/docs/installation/installation.rst +++ b/docs/installation/installation.rst @@ -1,2 +1,4 @@ Installation -============
\ No newline at end of file +============ + +.. include:: ../../INSTALL.rst |