Silence curl in doxy.sh