mirror of
https://github.com/oliverschmidt/contiki.git
synced 2025-03-11 07:29:48 +00:00
Fix Doxygen PPA location
This commit is contained in:
parent
3c150a5e99
commit
9ed56b1485
@ -14,7 +14,7 @@ before_script:
|
|||||||
|
|
||||||
## Install doxygen
|
## Install doxygen
|
||||||
- if [ ${BUILD_CATEGORY:-0} = doxygen ] ; then
|
- if [ ${BUILD_CATEGORY:-0} = doxygen ] ; then
|
||||||
sudo add-apt-repository ppa:libreoffice/libreoffice-4-4 -y && sudo apt-get -qq update &&
|
sudo add-apt-repository ppa:libreoffice/ppa -y && sudo apt-get -qq update &&
|
||||||
sudo apt-get --no-install-suggests --no-install-recommends -qq install doxygen &&
|
sudo apt-get --no-install-suggests --no-install-recommends -qq install doxygen &&
|
||||||
doxygen --version ;
|
doxygen --version ;
|
||||||
fi
|
fi
|
||||||
|
Loading…
x
Reference in New Issue
Block a user