pygments is needed for building docs

This commit is contained in:
arvidn 2015-10-07 01:14:54 -04:00
parent 4b5d64a065
commit f0921a58e3
1 changed files with 1 additions and 0 deletions

View File

@ -38,6 +38,7 @@ addons:
- g++-4.8
- ditaa
- python3-docutils
- python3-pygments
before_install:
- git submodule update --init --recursive