From: Vladimír Vondruš <mosra@centrum.cz>
Date: Tue, 12 Dec 2017 00:23:41 +0000 (+0100)
Subject: package/ci: Yes. I made a mistake right when merging to master. Of course.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~cjwatson/git?a=commitdiff_plain;h=3b9fd944dca4281ffe4b960455d712d6da1f4961;p=blog.git

package/ci: Yes. I made a mistake right when merging to  Of course.
---

diff --git a/package/ci/travis.yml b/package/ci/travis.yml
index 03cebade..236a4b83 100644
--- a/package/ci/travis.yml
+++ b/package/ci/travis.yml
@@ -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.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
 
 script:
   # Test the theme