From eaa3ba5f83f3e70a1f392f2f1063f8a65af20c55 Mon Sep 17 00:00:00 2001 From: patrick96 Date: Sun, 22 Oct 2023 23:52:32 +0200 Subject: [PATCH] doc: Fix sphinx version --- .gitignore | 2 ++ doc/requirements.txt | 4 ++++ 2 files changed, 6 insertions(+) diff --git a/.gitignore b/.gitignore index e514ef36..8428eee5 100644 --- a/.gitignore +++ b/.gitignore @@ -13,3 +13,5 @@ polybar-*.tar *.cache + +.venv diff --git a/doc/requirements.txt b/doc/requirements.txt index bf95a390..43dddfba 100644 --- a/doc/requirements.txt +++ b/doc/requirements.txt @@ -1,3 +1,7 @@ +# Installing these packages is only really needed on readthedocs, building +# locally works as long as sphinx is installed. +# For local development, you may want to install some of these though. +sphinx~=7.2.6 sphinx-rtd-theme~=1.3.0 sphinx-notfound-page~=1.0.0 readthedocs-sphinx-search~=0.3.1