mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-08-21 15:23:59 +02:00
Add DSDP.TM category to RSE Docs
This commit is contained in:
parent
4f8e836a47
commit
e473a912d3
3 changed files with 118 additions and 118 deletions
|
@ -2,7 +2,7 @@
|
||||||
<plugin>
|
<plugin>
|
||||||
|
|
||||||
<extension point="org.eclipse.help.toc">
|
<extension point="org.eclipse.help.toc">
|
||||||
<toc file="toc.xml" primary="true"/>
|
<toc file="toc.xml" primary="true" category="DSDP.TM"/>
|
||||||
<index path="index/"/>
|
<index path="index/"/>
|
||||||
</extension>
|
</extension>
|
||||||
|
|
||||||
|
|
|
@ -14,7 +14,7 @@
|
||||||
<!-- ============================================================================= -->
|
<!-- ============================================================================= -->
|
||||||
|
|
||||||
<extension point="org.eclipse.help.toc">
|
<extension point="org.eclipse.help.toc">
|
||||||
<toc file="toc.xml" primary="true"/>
|
<toc file="toc.xml" primary="true" category="DSDP.TM"/>
|
||||||
<index path="index/"/>
|
<index path="index/"/>
|
||||||
</extension>
|
</extension>
|
||||||
|
|
||||||
|
|
|
@ -81,7 +81,7 @@
|
||||||
</extension>
|
</extension>
|
||||||
|
|
||||||
<extension point="org.eclipse.help.toc">
|
<extension point="org.eclipse.help.toc">
|
||||||
<toc primary="true" file="toc.xml"/>
|
<toc primary="true" file="toc.xml" category="DSDP.TM"/>
|
||||||
</extension>
|
</extension>
|
||||||
<!--
|
<!--
|
||||||
<extension
|
<extension
|
||||||
|
|
Loading…
Add table
Reference in a new issue