opus: force removal of html pages if doxygen is installed