summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2023-09-01 12:31:06 +0200
committerMichał Górny <mgorny@gentoo.org>2023-09-01 12:31:06 +0200
commitef101e94ed2a081736a7efba696af9321d3e7850 (patch)
tree62d7ace051950b4df7bd5b2c3c19f6848862b97c /tox.ini
parenttox.ini, conf.py: Make it build (diff)
downloadpolicy-guide-master.tar.gz
policy-guide-master.tar.bz2
policy-guide-master.zip
tox: Use our fork of tyrian-sphinx-themeHEADmaster
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'tox.ini')
-rw-r--r--tox.ini5
1 files changed, 3 insertions, 2 deletions
diff --git a/tox.ini b/tox.ini
index d80cb19..dc18983 100644
--- a/tox.ini
+++ b/tox.ini
@@ -4,8 +4,9 @@ skipsdist = True
[testenv]
deps =
- sphinx<7
- tyrian-sphinx-theme
+ sphinx
+ # until we reclaim the pypi project
+ git+https://anongit.gentoo.org/git/proj/tyrian-sphinx-theme.git
allowlist_externals =
make