Merge pull request #10621 from mshabunin:disable-docs

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

doc/header.html

@@ -11,6 +11,7 @@
 <link href="$relpath^tabs.css" rel="stylesheet" type="text/css"/>
 <script type="text/javascript" src="$relpath^jquery.js"></script>
 <script type="text/javascript" src="$relpath^dynsections.js"></script>
+<script type="text/javascript" src="$relpath^tutorial-utils.js"></script>
 $treeview
 $search
 $mathjax
@@ -54,34 +55,4 @@ $extrastylesheet
 </table>
 </div>
 <!--END TITLEAREA-->
-<script type="text/javascript">
-//<![CDATA[
-function getLabelName(innerHTML) {
-    var str = innerHTML.toLowerCase();
-    // Replace all '+' with 'p'
-    str = str.split('+').join('p');
-    // Replace all ' ' with '_'
-    str = str.split(' ').join('_');
-    // Replace all '#' with 'sharp'
-    str = str.split('#').join('sharp');
-    // Replace other special characters with 'ascii' + code
-    for (var i = 0; i < str.length; i++) {
-        var charCode = str.charCodeAt(i);
-        if (!(charCode == 95 || (charCode > 96 && charCode < 123) || (charCode > 47 && charCode < 58)))
-            str = str.substr(0, i) + 'ascii' + charCode + str.substr(i + 1);
-    }
-    return str;
-}
-function addToggle() {
-    var $getDiv = $('div.newInnerHTML').last();
-    var buttonName = $getDiv.html();
-    var label = getLabelName(buttonName.trim());
-    $getDiv.attr("title", label);
-    $getDiv.hide();
-    $getDiv = $getDiv.next();
-    $getDiv.attr("class", "toggleable_div label_" + label);
-    $getDiv.hide();
-}
-//]]>
-</script>
 <!-- end header part -->