diff options
author | 2023-09-01 12:31:06 +0200 | |
---|---|---|
committer | 2023-09-01 12:31:06 +0200 | |
commit | ef101e94ed2a081736a7efba696af9321d3e7850 (patch) | |
tree | 62d7ace051950b4df7bd5b2c3c19f6848862b97c | |
parent | tox.ini, conf.py: Make it build (diff) | |
download | policy-guide-ef101e94ed2a081736a7efba696af9321d3e7850.tar.gz policy-guide-ef101e94ed2a081736a7efba696af9321d3e7850.tar.bz2 policy-guide-ef101e94ed2a081736a7efba696af9321d3e7850.zip |
tox: Use our fork of tyrian-sphinx-theme
Signed-off-by: Michał Górny <mgorny@gentoo.org>
-rw-r--r-- | tox.ini | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -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 |