File: gps_index.xml

package info (click to toggle)
asis 2010-5
  • links: PTS
  • area: main
  • in suites: wheezy
  • size: 8,964 kB
  • sloc: ada: 103,084; makefile: 313; xml: 19
file content (19 lines) | stat: -rw-r--r-- 601 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 
<?xml version="1.0"?>
<index>
   <doc_path>share/doc/asis/html</doc_path>
   <submenu before="About">
      <title>/Help/ASIS</title>
   </submenu>
   <documentation_file>
      <name>asis_ug.html</name>
      <descr>ASIS-for-GNAT User's Guide</descr>
      <category>ASIS</category>
      <menu>/Help/ASIS/ASIS-for-GNAT User's Guide</menu>
   </documentation_file>
   <documentation_file>
      <name>asis_ug.html</name>
      <descr>ASIS-for-GNAT Reference Manual</descr>
      <category>ASIS</category>
      <menu>/Help/ASIS/ASIS-for-GNAT Reference Manual</menu>
   </documentation_file>
</index>