This file is indexed.

/usr/share/doc/gnat-gps/gps.html is in gnat-gps-doc 5.0-6.

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
<html>
  <head><title>GNAT Programming Studio</title></head>
    <frameset rows="*" cols="300,*" framespacing="0" frameborder="yes" border="1">
      <frame src="html/index.html" name="top" />
      <frame src="html/Introduction.html" name="page" />
    </frameset>
    <noframes>
      <body>
      </body>
    </noframes>
</html>