mirror of
https://github.com/AdaCore/PolyORB.git
synced 2026-02-12 13:01:15 -08:00
18 lines
579 B
XML
18 lines
579 B
XML
<?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>
|