1. 18 Jan, 2018 1 commit
    • 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