diff options
Diffstat (limited to 'plugins/doc/org.eclipse.papyrus.infra.services.navigation.doc/resource/navigation-userDoc-main-toc.xml')
-rw-r--r-- | plugins/doc/org.eclipse.papyrus.infra.services.navigation.doc/resource/navigation-userDoc-main-toc.xml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/plugins/doc/org.eclipse.papyrus.infra.services.navigation.doc/resource/navigation-userDoc-main-toc.xml b/plugins/doc/org.eclipse.papyrus.infra.services.navigation.doc/resource/navigation-userDoc-main-toc.xml new file mode 100644 index 00000000000..e72c0fe6cee --- /dev/null +++ b/plugins/doc/org.eclipse.papyrus.infra.services.navigation.doc/resource/navigation-userDoc-main-toc.xml @@ -0,0 +1,7 @@ +<?xml version='1.0' encoding='utf-8' ?> +<toc label="Navigation User Documenation" link_to="../org.eclipse.papyrus.infra.doc/toc.xml#PapyrusTasks"> + <topic href="target/generated-eclipse-help/navigation-userDoc.html" label="Navigation"> + <link toc="target/generated-eclipse-help/navigation-userDoc-toc.xml"/> + <anchor id="PapyrusNavigationUserDoc"/> + </topic> +</toc> |