diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-04-12 14:59:48 +0200 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-04-12 14:59:48 +0200 |
commit | 6c722b27b870851d35f44a1f4eaf8f09284d9587 (patch) | |
tree | ed7150046b9ffe9c1f88f1eebc2749e21f94ea49 /.circleci | |
parent | 34c5cfe042905c297e572eb22f2bf2ca7fd62c54 (diff) |
Debug bibtex output
Diffstat (limited to '.circleci')
-rw-r--r-- | .circleci/config.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.circleci/config.yml b/.circleci/config.yml index a3ab1e60..8356f4b3 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -67,6 +67,8 @@ jobs: grep warning dox.log; cp dox.log version/doc/html/; cp -R version/doc/html /tmp/doxygen; + which bibtex; + which perl; - store_artifacts: path: /tmp/doxygen |