Temp: Use mithro's domaintools

(For Python3 support.)
mithro · Apr 3, 2019 · 5b2cd7d · 5b2cd7d
1 parent 79e0b9c
commit 5b2cd7d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/requirements.txt b/doc/requirements.txt
@@ -5,7 +5,7 @@
 sphinx_rtd_theme
 
 # Support custom domains
-sphinxcontrib-domaintools
+-e git+https://@github.com/mithro/domaintools.git#egg=sphinxcontrib-domaintools
 
 # Support Markdown
 recommonmark