This file is indexed.

/usr/share/gps/docgen2/navigation.tmpl is in gnat-gps-common 5.0-13.

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>