core/com.nokia.carbide.cpp.compiler.doc.user/plugin.xml
author timkelly
Tue, 14 Apr 2009 10:18:48 -0500
changeset 91 2010205bb971
parent 2 d760517a8095
permissions -rw-r--r--
deprecate public API for new one that uses progress monitor (bug 7351)
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2
cawthron
parents:
diff changeset
     1
<?xml version="1.0" encoding="UTF-8"?>
cawthron
parents:
diff changeset
     2
<?eclipse version="3.0"?>
cawthron
parents:
diff changeset
     3
cawthron
parents:
diff changeset
     4
<plugin>
cawthron
parents:
diff changeset
     5
   <extension
cawthron
parents:
diff changeset
     6
         point="org.eclipse.help.toc">
cawthron
parents:
diff changeset
     7
cawthron
parents:
diff changeset
     8
      <toc
cawthron
parents:
diff changeset
     9
            file="compilerTOC.xml"
cawthron
parents:
diff changeset
    10
            primary="true"/>
cawthron
parents:
diff changeset
    11
            
cawthron
parents:
diff changeset
    12
      <toc file="introductionTOC.xml" />
cawthron
parents:
diff changeset
    13
      <toc file="c_compilerTOC.xml" />
cawthron
parents:
diff changeset
    14
      <toc file="c_behaviorTOC.xml" />
cawthron
parents:
diff changeset
    15
      <toc file="cpp_compilerTOC.xml" />
cawthron
parents:
diff changeset
    16
      <toc file="cpp_behaviorTOC.xml" />
cawthron
parents:
diff changeset
    17
      <toc file="cpp_embTOC.xml" />
cawthron
parents:
diff changeset
    18
      <toc file="performanceTOC.xml" />
cawthron
parents:
diff changeset
    19
      <toc file="errorsTOC.xml" />
cawthron
parents:
diff changeset
    20
      <toc file="symbolsTOC.xml" />
cawthron
parents:
diff changeset
    21
      <toc file="pragmasTOC.xml" />
cawthron
parents:
diff changeset
    22
      <toc file="pragmas_x86TOC.xml" />
cawthron
parents:
diff changeset
    23
      <toc file="cmd_lineTOC.xml" />
cawthron
parents:
diff changeset
    24
      
cawthron
parents:
diff changeset
    25
		<index path="index" />
cawthron
parents:
diff changeset
    26
   </extension>
cawthron
parents:
diff changeset
    27
cawthron
parents:
diff changeset
    28
	
cawthron
parents:
diff changeset
    29
	<!-- KEYWORD INDEX ADDITION
cawthron
parents:
diff changeset
    30
	
cawthron
parents:
diff changeset
    31
	 <extension
cawthron
parents:
diff changeset
    32
	       point="org.eclipse.help.index" >
cawthron
parents:
diff changeset
    33
	    <index file="html/index.xml"/>
cawthron
parents:
diff changeset
    34
	 </extension>
cawthron
parents:
diff changeset
    35
	-->
cawthron
parents:
diff changeset
    36
	
cawthron
parents:
diff changeset
    37
</plugin>