From d82ed73225b0020aca513851fa8cfdd32bb5c495 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Felix=20Geisend=C3=B6rfer?= Date: Tue, 27 Dec 2022 15:44:06 +0100 Subject: [PATCH] Better contributing docs --- CONTRIBUTING.md | 2 +- docs/requirements.txt | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index ce9eb15..d19a79a 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -7,7 +7,7 @@ For local development, follow the steps below: 1. Install dependencies ``` -pip install sphinx sphinx-rtd-theme sphinx-autobuild sphinxemoji +pip install -r docs/requirements.txt ``` 2. Run the development server diff --git a/docs/requirements.txt b/docs/requirements.txt index 9554e35..b24f764 100644 --- a/docs/requirements.txt +++ b/docs/requirements.txt @@ -1,3 +1,4 @@ Sphinx==5.3.0 sphinx-rtd-theme==1.1.1 sphinxemoji==0.2.0 +sphinx-autobuild==2021.3.14