diff options
author | Gael Guennebaud <g.gael@free.fr> | 2013-01-12 20:34:52 +0100 |
---|---|---|
committer | Gael Guennebaud <g.gael@free.fr> | 2013-01-12 20:34:52 +0100 |
commit | a3b94d26c809a5cf9184e0642d90a5f47e2de595 (patch) | |
tree | 23a33d6bd18785afa0fe97fcd2402d973cab3ae6 /doc/eigen_navtree_hacks.js | |
parent | 761b3bbb692c515a8c753bd64653b38986534216 (diff) |
Remove TOC numbering, and minor improvement in overview.
Diffstat (limited to 'doc/eigen_navtree_hacks.js')
-rw-r--r-- | doc/eigen_navtree_hacks.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/eigen_navtree_hacks.js b/doc/eigen_navtree_hacks.js index 6b021c749..bd7e02b38 100644 --- a/doc/eigen_navtree_hacks.js +++ b/doc/eigen_navtree_hacks.js @@ -26,7 +26,8 @@ function generate_autotoc() { prefix+="."+indices[1]; } - current.html(prefix + " " + current.html()); + // Uncomment to add number prefixes + // current.html(prefix + " " + current.html()); for(var l = levelTag; l < 2; ++l){ indices[l] = 0; } |