From f4e1b1585361fdccded59fe697d21129a3ebabaf Mon Sep 17 00:00:00 2001
From: zhurong <aaronzhu1121@gmail.com>
Date: Thu, 19 Sep 2019 01:45:29 -0700
Subject: PDF documentation build

Change-Id: Icf5f7f31b686d8ce97ae8cf145eaf1071860a75f
---
 tox.ini | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'tox.ini')

diff --git a/tox.ini b/tox.ini
index 7552ffd5..2090c272 100644
--- a/tox.ini
+++ b/tox.ini
@@ -52,6 +52,15 @@ deps = -r{toxinidir}/doc/requirements.txt
 commands = sphinx-build -b html doc/source doc/build/html
 setenv = PYTHONHASHSEED=0
 
+[testenv:pdf-docs]
+basepython = python3
+deps = {[testenv:docs]deps}
+whitelist_externals =
+  make
+commands =
+  sphinx-build -W -b latex doc/source doc/build/pdf
+  make -C doc/build/pdf
+
 [testenv:venv]
 basepython = python3
 commands = {posargs}
-- 
cgit v1.2.1