/usr/share/gps/docgen2/navigation.tmpl is in gnat-gps-common 5.0-16.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 | @@SET@@ WHEREAMI = $1
<div id='header'>
<h2 class="button">Documentation</h2>
@@INCLUDE@@ navbutton.tmpl @_WHEREAMI_@ "INDEX" "toc.html" "Table of Contents"
@@INCLUDE@@ navbutton.tmpl @_WHEREAMI_@ "CLASS_TREE" "tree.html" "Class Inheritance Tree"
@@IF@@ @_EXIST:USER_DEFINED_FILES_@
@@TABLE@@
@@INCLUDE@@ navbutton.tmpl "@_WHEREAMI_@" "@_USER_DEFINED_FILES_@" "@_USER_DEFINED_FILES_@" "@_USER_DEFINED_NAMES_@"
@@END_TABLE@@
@@END_IF@@
</div>
|