diff options
author | Gael Guennebaud <g.gael@free.fr> | 2020-07-24 10:28:44 +0200 |
---|---|---|
committer | Gael Guennebaud <g.gael@free.fr> | 2020-07-24 10:28:44 +0200 |
commit | fb0c6868ad8d43e052c9e027b41b3dfe660bb57d (patch) | |
tree | 6490f024dddb2c0064a02fb55204ff38cdbd1365 /doc | |
parent | c1ffe452fc5b43d7c90fae57b8913497d6c5da0e (diff) |
Add missing footer declaration
Diffstat (limited to 'doc')
-rw-r--r-- | doc/eigen_navtree_hacks.js | 1 |
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'); |