Add forgotten checks to doxy.sh.