doc: update CI to build PDF

2020-03-25 15:14:05 +08:00
parent 407275f681
commit 8a3d806798
3 changed files with 3 additions and 2 deletions
@@ -21,4 +21,4 @@ sphinx_selective_exclude==1.0.3
 #
 # See docs/en/contribute/documenting-code.rst, 'sphinx_idf_theme' section
 # for full setup instructions.
-sphinx_idf_theme==0.1
+sphinx_idf_theme==0.2