/usr/share/doc/gnat-gps/gps_index.xml 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 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 | <?xml version="1.0"?>
<index>
<doc_path>share/doc/gnat/html</doc_path>
<doc_path>share/doc/gprbuild/html</doc_path>
<doc_path>share/doc/gnat-cross/html</doc_path>
<!-- Backward compatibility with earlier versions of GNAT -->
<doc_path>doc/gnat/html</doc_path>
<doc_path>doc/gnat-cross/html</doc_path>
<documentation_file>
<name>gps-welcome.html</name>
<descr>Welcome</descr>
<category>GPS</category>
<menu>/Help/GPS/Welcome</menu>
</documentation_file>
<documentation_file>
<name>gps.html</name>
<descr>Using the GNAT Programming Studio</descr>
<category>GPS</category>
<menu>/Help/GPS/Using the GNAT Programming Studio</menu>
</documentation_file>
<documentation_file>
<name>gps-tutorial.html</name>
<descr>GNAT Programming Studio Tutorial</descr>
<category>GPS</category>
<menu>/Help/GPS/GNAT Programming Studio Tutorial</menu>
</documentation_file>
<documentation_file>
<name>/usr/share/doc/gprbuild-doc/html/gprbuild_ug.html</name>
<descr>gprbuild and GNAT Project Files</descr>
<category>GNAT</category>
<menu>/Help/GNAT/Gprbuild and GNAT Project Files</menu>
</documentation_file>
<documentation_file>
<name>/usr/share/doc/ada-reference-manual-html/arm2005-html/index.html</name>
<descr>Ada 2005 Reference Manual</descr>
<menu>/Help/GNAT/Ada 2005 Reference Manual</menu>
<category>GNAT</category>
</documentation_file>
<documentation_file>
<name>/usr/share/doc/ada-reference-manual-html/aarm2005-html/index.html</name>
<descr>Ada 2005 Annotated Reference Manual</descr>
<menu>/Help/GNAT/Ada 2005 Annotated Reference Manual</menu>
<category>GNAT</category>
</documentation_file>
</index>
|