aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/eigendoxy_footer.html.in
diff options
context:
space:
mode:
authorGravatar Gael Guennebaud <g.gael@free.fr>2012-12-28 18:52:53 +0100
committerGravatar Gael Guennebaud <g.gael@free.fr>2012-12-28 18:52:53 +0100
commit3f824018908a3766e01d34b361e0feb9e17398fb (patch)
treeacb37822211844031253b4cbbd32b0d2f57e8d4e /doc/eigendoxy_footer.html.in
parentf41d96deb9b64e74cd2d8c48a698f4443ce9bbab (diff)
Update doxygen files to doxygen version 1.8
Diffstat (limited to 'doc/eigendoxy_footer.html.in')
-rw-r--r--doc/eigendoxy_footer.html.in23
1 files changed, 22 insertions, 1 deletions
diff --git a/doc/eigendoxy_footer.html.in b/doc/eigendoxy_footer.html.in
index ebb187b31..e62af8ed5 100644
--- a/doc/eigendoxy_footer.html.in
+++ b/doc/eigendoxy_footer.html.in
@@ -1,6 +1,24 @@
-<hr class="footer"/>
+<!-- start footer part -->
+<!--BEGIN GENERATE_TREEVIEW-->
+<div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
+ <ul>
+ $navpath
+ <li class="footer">$generatedby
+ <a href="http://www.doxygen.org/index.html">
+ <img class="footer" src="$relpath$doxygen.png" alt="doxygen"/></a> $doxygenversion </li>
+ </ul>
+</div>
+<!--END GENERATE_TREEVIEW-->
+<!--BEGIN !GENERATE_TREEVIEW-->
+<hr class="footer"/><address class="footer"><small>
+$generatedby &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="$relpath$doxygen.png" alt="doxygen"/>
+</a> $doxygenversion
+</small></address>
+<!--END !GENERATE_TREEVIEW-->
<!-- Piwik -->
+<!--
<script type="text/javascript">
var pkBaseURL = (("https:" == document.location.protocol) ? "https://stats.sylphide-consulting.com/piwik/" : "http://stats.sylphide-consulting.com/piwik/");
document.write(unescape("%3Cscript src='" + pkBaseURL + "piwik.js' type='text/javascript'%3E%3C/script%3E"));
@@ -11,7 +29,10 @@ piwikTracker.trackPageView();
piwikTracker.enableLinkTracking();
} catch( err ) {}
</script><noscript><p><img src="http://stats.sylphide-consulting.com/piwik/piwik.php?idsite=20" style="border:0" alt="" /></p></noscript>
+-->
<!-- End Piwik Tracking Code -->
</body>
</html>
+
+