add alternative doc command to try different doxygen versions