diff --git a/js/menu.js b/js/menu.js
index 3931f9aed0..2d4a47778d 100644
--- a/js/menu.js
+++ b/js/menu.js
@@ -1,26 +1,4 @@
var tocData;
-var treeOutput = new Array();
-function renderTree(tree)
-{
- for (var i=0; i < tree.length; i++)
- {
- if (tree[i].heading)
- {
- // render a heading
- } else {
- if (tree[i].sectiontitle) {
- treeOutput.push('
' + tree[i].title + '');
- }
- }
- }
-}
function hookupTOCEvents()
{
// do after tree render
@@ -41,14 +19,6 @@ function hookupTOCEvents()
});
}
jQuery(document).ready(function(){
- /*
- $.getJSON( "/toc.txt", function( data ) {
- tocData = data;
- renderTree(data.toc);
- $(".nav-sub").html(treeOutput.join(''));
- hookupTOCEvents();
- });
- */
hookupTOCEvents();
$("#TableOfContents ul").empty();
diff --git a/toc.txt b/toc.txt
deleted file mode 100644
index 8d338bf0d7..0000000000
--- a/toc.txt
+++ /dev/null
@@ -1,4 +0,0 @@
----
-layout: null
----
-{{ site.data.toc | jsonify }}