ignore docs by git

1 files changed, 0 insertions, 24 deletions

diff --git a/doc/code/js/main.js b/doc/code/js/main.js
deleted file mode 100755
index 859772b91d9..00000000000
--- a/doc/code/js/main.js
+++ /dev/null
@@ -1,24 +0,0 @@
-function toggleSource(id)
-{
-  var src = $('#' + id).toggle();
-  var isVisible = src.is(':visible');
-  $('#l_' + id).html(isVisible ? 'hide' : 'show');
-  if (!src.data('syntax-higlighted')) {
-    src.data('syntax-higlighted', 1);
-    hljs.highlightBlock(src[0]);
-  }
-}
-
-window.highlight = function(url) {
-  var hash = url.match(/#([^#]+)$/)
-  if(hash) {
-    $('a[name=' + hash[1] + ']').parent().effect('highlight', {}, 'slow')
-  }
-}
-
-$(function() {
-  highlight('#' + location.hash);
-  $('.description pre').each(function() {
-    hljs.highlightBlock(this);
-  });
-});