/usr/share/doc/gnat-gps/gps.html is in gnat-gps-doc 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 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>
|