File: polyorb_gps.xml

package info (click to toggle)
polyorb 2.11~20140418-3
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 30,012 kB
  • ctags: 465
  • sloc: ada: 273,015; sh: 4,507; makefile: 4,265; python: 1,332; cpp: 1,213; java: 507; ansic: 274; xml: 30; perl: 23; exp: 6
file content (17 lines) | stat: -rw-r--r-- 579 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
<?xml version="1.0" ?>
<!--  This file makes the PolyORB documentation available in GPS -->
<GPS>
  <doc_path>share/doc/polyorb</doc_path>
  <submenu before="About">
    <title>/Help/PolyORB</title>
  </submenu>

  <documentation_file>
     <!-- Note: the name below must be unique across all documents -->
     <!-- accessable from the GPS doc path.                        -->
     <name>html/polyorb_ug/index.html</name>
     <descr>PolyORB User's Guide</descr>
     <category>GNAT</category>
     <menu>/Help/PolyORB/PolyORB User's Guide</menu>
  </documentation_file>
</GPS>