diff --git a/.travis.yml b/.travis.yml index 09d9fef137f4ce4bd6777b89a906bfc54f5e13dd..55995b76169dce1bb4ded3b79547dd691abbd853 100644 --- a/.travis.yml +++ b/.travis.yml @@ -22,6 +22,7 @@ addons: - alex-3.1.7 - happy-1.19.5 - python3 + - texinfo #- llvm-3.7 before_install: