Forbid creating a distfile when Doxygen is missing

"make distcheck" was strangely failing when Doxygen was not present
even when the install rules check for this condition.  This was because
the dist rules were not handling the lack of Doxygen properly.

Discovered while trying to set up Travis CI for lutok.