diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2023-09-01 12:31:06 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 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 |