| commit | fb0c6868ad8d43e052c9e027b41b3dfe660bb57d | [log] [tgz] |
|---|---|---|
| author | Gael Guennebaud <g.gael@free.fr> | Fri Jul 24 10:28:44 2020 +0200 |
| committer | Gael Guennebaud <g.gael@free.fr> | Fri Jul 24 10:28:44 2020 +0200 |
| tree | 6490f024dddb2c0064a02fb55204ff38cdbd1365 | |
| parent | c1ffe452fc5b43d7c90fae57b8913497d6c5da0e [diff] [blame] |
Add missing footer declaration
diff --git a/doc/eigen_navtree_hacks.js b/doc/eigen_navtree_hacks.js index 88b7c42..afb97ed 100644 --- a/doc/eigen_navtree_hacks.js +++ b/doc/eigen_navtree_hacks.js
@@ -5,6 +5,7 @@ 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');