aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
diff options
context:
space:
mode:
authorGravatar Gael Guennebaud <g.gael@free.fr>2020-07-24 10:28:44 +0200
committerGravatar Gael Guennebaud <g.gael@free.fr>2020-07-24 10:28:44 +0200
commitfb0c6868ad8d43e052c9e027b41b3dfe660bb57d (patch)
tree6490f024dddb2c0064a02fb55204ff38cdbd1365 /doc
parentc1ffe452fc5b43d7c90fae57b8913497d6c5da0e (diff)
Add missing footer declaration
Diffstat (limited to 'doc')
-rw-r--r--doc/eigen_navtree_hacks.js1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/eigen_navtree_hacks.js b/doc/eigen_navtree_hacks.js
index 88b7c4218..afb97edf5 100644
--- a/doc/eigen_navtree_hacks.js
+++ b/doc/eigen_navtree_hacks.js
@@ -5,6 +5,7 @@ function generate_autotoc() {
if(headers.length > 1) {
var toc = $("#side-nav").append('<div id="nav-toc" class="toc"><h3>Table of contents</h3></div>');
toc = $("#nav-toc");
+ var footer = $("#nav-path");
var footerHeight = footer.height();
toc = toc.append('<ul></ul>');
toc = toc.find('ul');