• Maksim Shabunin's avatar
    Merge pull request #10621 from mshabunin:disable-docs · 1b0ff575
    Maksim Shabunin authored
    Documentation generation refactoring (#10621)
    
    * Documentation build updates:
    
    - disable documentation by default, do not add to ALL target
    - combine Doxygen and Javadoc
    - optimize Doxygen html
    
    * javadoc: fix path in build directory
    
    * cmake: fix "Documentation" status line
    1b0ff575