summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2020-01-13 20:33:06 +0100
committerMichał Górny <mgorny@gentoo.org>2020-01-13 20:33:06 +0100
commit8120b86795a077d97b8920412500392d161d8b10 (patch)
tree0062b6f6dec64b8001d4e8720342c33312da3125 /tox.ini
parentSeparate /usr (diff)
downloadpolicy-guide-8120b86795a077d97b8920412500392d161d8b10.tar.gz
policy-guide-8120b86795a077d97b8920412500392d161d8b10.tar.bz2
policy-guide-8120b86795a077d97b8920412500392d161d8b10.zip
Clean builds up
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'tox.ini')
-rw-r--r--tox.ini4
1 files changed, 3 insertions, 1 deletions
diff --git a/tox.ini b/tox.ini
index 5913c11..1873355 100644
--- a/tox.ini
+++ b/tox.ini
@@ -5,6 +5,8 @@ skipsdist = True
[testenv]
deps =
sphinx
+whitelist_externals =
+ make
commands =
- make html
+ make {posargs:html}