From 6e3110c1a669f4c2e1eef3dae5098e6144063596 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Wed, 15 Oct 2014 16:08:56 +0200
Subject: [PATCH] we need doxygen, and I fail to see who's creating the VERSION
 file

---
 .travis.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index e2663c6a56..fff375f1f4 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -4,7 +4,8 @@ compiler:
    - clang
 before_install: 
    - sudo apt-get update  -qq
-   - sudo apt-get install -qq valgrind default-jdk gfortran liblua5.1-dev lua5.1 libboost-dev transfig ghostscript texlive-font-utils
+   - sudo apt-get install -qq doxygen valgrind default-jdk gfortran liblua5.1-dev lua5.1 libboost-dev transfig ghostscript texlive-font-utils
+   - echo "3.12" > VERSION
 script: ./buildtools/jenkins/run.sh
 branches:
   only:
-- 
2.20.1