Skip to content
  • Klaus Weidenbach's avatar
    💚 Update Travis CI's Doxygen. · 03db9833
    Klaus Weidenbach authored
    Travis CI has Doxygen 1.7. We need 1.8 to generate our API
    documentation. Get a static version and use it.
    Always build API Documentation, but changed Doxygen configuration to
    only print out errors in the documentation generation, so these can be
    reviewed.
    03db9833