TRAVIS: fix doxygen installation

This commit is contained in:
hasufell 2014-06-09 00:12:17 +02:00
parent b735bcd32d
commit a93811e416
No known key found for this signature in database
GPG Key ID: 220CD1C5BDEED020

View File

@ -14,7 +14,7 @@ before_script:
- sudo make install
- cd ..
- wget http://ftp.stack.nl/pub/users/dimitri/doxygen-1.8.7.src.tar.gz
- tar -xzf flint-2.4.3.tar.gz
- tar -xzf doxygen-1.8.7.src.tar.gz
- cd doxygen-1.8.7
- ./configure
- make