This file is indexed.

/usr/share/gps/docgen2/userdef.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
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
<?xml version='1.0' encoding='utf-8'?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"  "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html><head>
  <meta http-equiv="Content-Type" content="application/xhtml+xml; charset=UTF-8" />
  <meta http-equiv="Content-Script-Type" content="text/javascript"/>

  <title>
    @_NAME_@
  </title>
  @@TABLE@@
  <link rel='stylesheet' href='support/@_CSSFILES_@' type='text/css'/>
  @@END_TABLE@@
  <script src='support/docgen.js' type='text/javascript' charset='utf-8'></script>
</head>
<body onload="onloadDoc();">

<div id='leftSide'>
  <div id='leftSideInside'>
  @@INCLUDE@@ navigation.tmpl @_FILE_NAME_@
  </div>
</div> <!-- leftSide -->

@_PRINTOUT_@

</body>
</html>