diff options
author | 2018-09-19 21:36:58 +0200 | |
---|---|---|
committer | 2018-09-19 22:09:10 +0200 | |
commit | c15b02890d9717c5afa62debfbc81678db5e79a3 (patch) | |
tree | 8c7b8178baa41dd4f2b0c9891224736f5edcf46e /docs/README.md | |
parent | Remove headers after compilation. (diff) |
Add Markdown lint.
Diffstat (limited to 'docs/README.md')
-rw-r--r-- | docs/README.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/docs/README.md b/docs/README.md index 6bef9c3c..2e9f15a1 100644 --- a/docs/README.md +++ b/docs/README.md @@ -1,8 +1,13 @@ # Documentation + This directory contains useful documentation for working with and using our site. ## Table of contents + * [Setup guide](setup.md) + * [PostgreSQL setup](setup.md#postgresql-setup) + * [Development with Docker](setup.md#development-with-docker) + * [Development with `pip`](setup.md#development-with-pip) |