chiark / gitweb /
package/ci: use Doxygen 1.8.14 on Travis.
authorVladimír Vondruš <mosra@centrum.cz>
Mon, 1 Jan 2018 19:57:23 +0000 (20:57 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Mon, 1 Jan 2018 22:49:41 +0000 (23:49 +0100)
package/ci/travis.yml

index 7107ba4d885e2de3444424493a3cb1f7eafeccd2..57bf5040f7d9f0ddbd8d33c94cb790c0a16875d2 100644 (file)
@@ -25,7 +25,7 @@ install:
   - mkdir -p $HOME/bin && export PATH=$HOME/bin:$PATH
 
   # Download newer Doxygen, as I don't want to care for the old bugs
-  - if [ "$WITH_DOXYGEN" == "ON" ] && [ ! -f $HOME/bin/doxygen ]; then wget "http://ftp.stack.nl/pub/users/dimitri/doxygen-1.8.13.linux.bin.tar.gz" && tar -xzf doxygen-1.8.13.linux.bin.tar.gz && cp doxygen-1.8.13/bin/doxygen $HOME/bin && doxygen -v; fi
+  - if [ "$WITH_DOXYGEN" == "ON" ] && [ ! -f $HOME/bin/doxygen ]; then wget "http://ftp.stack.nl/pub/users/dimitri/doxygen-1.8.14.linux.bin.tar.gz" && tar -xzf doxygen-1.8.14.linux.bin.tar.gz && cp doxygen-1.8.14/bin/doxygen $HOME/bin && doxygen -v; fi
 
 script:
   # Test the theme