/usr/share/doc/gnat-gps/help_index.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 13 14 15 16 | <!-- This is a template for GPS's documentation index
The line containing @@CONTENTS@@ is replaced by the actual contents
-->
<html>
<head>
<title>Documentation contents</title>
</head>
<body>
<H1>Documentation contents</H1>
This page gives the list of all the documentation topics currently
registered in GPS.
@@CONTENTS@@
</body>
</html>
|