Add "apt-get install doxygen" to doxy.sh.