diff options
Diffstat (limited to 'plugins/doc/org.eclipse.papyrus.uml.diagram.profile.doc/plugin.xml')
-rw-r--r-- | plugins/doc/org.eclipse.papyrus.uml.diagram.profile.doc/plugin.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/plugins/doc/org.eclipse.papyrus.uml.diagram.profile.doc/plugin.xml b/plugins/doc/org.eclipse.papyrus.uml.diagram.profile.doc/plugin.xml index c4880e8531f..99478c88195 100644 --- a/plugins/doc/org.eclipse.papyrus.uml.diagram.profile.doc/plugin.xml +++ b/plugins/doc/org.eclipse.papyrus.uml.diagram.profile.doc/plugin.xml @@ -35,6 +35,10 @@ file="target/generated-eclipse-help/users/simplifiedUsageOfProfilesAndStereotypes-toc.xml" primary="true"> </toc> + <toc + file="target/generated-eclipse-help/users/generatingStaticProfiles-toc.xml" + primary="true"> + </toc> </extension> </plugin> |