@@ -554,7 +554,7 @@
var link = document.createElement( 'a' );
link.className = 'link';
link.textContent = name;
- link.href = file + '.html';
+ link.href = "#" + file;
link.addEventListener( 'click', function (ev) {