diff options
Diffstat (limited to 'plugins/doc')
3 files changed, 25 insertions, 12 deletions
diff --git a/plugins/doc/org.eclipse.papyrus.toolsmiths.profilemigration.doc/plugin.xml b/plugins/doc/org.eclipse.papyrus.toolsmiths.profilemigration.doc/plugin.xml index 508f6c5203f..95a8444f2c7 100644 --- a/plugins/doc/org.eclipse.papyrus.toolsmiths.profilemigration.doc/plugin.xml +++ b/plugins/doc/org.eclipse.papyrus.toolsmiths.profilemigration.doc/plugin.xml @@ -5,8 +5,20 @@ <extension point="org.eclipse.help.toc"> <toc - file="src/site/mediawiki/profileMigrationTool-userDoc-main-toc.xml" - primary="true"> + file="target/generated-eclipse-help/profileMigrationTool-userDoc-main-toc.xml" + primary="false"> + </toc> + <toc + file="target/generated-eclipse-help/profileMigrationToolUserDoc-toc.xml" + primary="false"> + </toc> + <toc + file="target/generated-eclipse-help/profileMigrationTool-devDoc-main-toc.xml" + primary="false"> + </toc> + <toc + file="target/generated-eclipse-help/profileMigrationToolDevDoc-toc.xml" + primary="false"> </toc> </extension> diff --git a/plugins/doc/org.eclipse.papyrus.toolsmiths.profilemigration.doc/src/site/mediawiki/profileMigrationTool-devDoc-main-toc.xml b/plugins/doc/org.eclipse.papyrus.toolsmiths.profilemigration.doc/src/site/mediawiki/profileMigrationTool-devDoc-main-toc.xml index 20e56a789be..4ac761cb351 100644 --- a/plugins/doc/org.eclipse.papyrus.toolsmiths.profilemigration.doc/src/site/mediawiki/profileMigrationTool-devDoc-main-toc.xml +++ b/plugins/doc/org.eclipse.papyrus.toolsmiths.profilemigration.doc/src/site/mediawiki/profileMigrationTool-devDoc-main-toc.xml @@ -1,7 +1,8 @@ <?xml version='1.0' encoding='utf-8' ?> -<toc label="Developing profile migration tool"> - <topic label="Developing profile migration tool" > - <link toc="target/site/generated-eclipse-help/profileMigrationToolUserDoc-toc.xml"/> - <anchor id="profileMigrationToolUserDoc"/> - </topic> +<toc label="Toolsmiths" link_to="../org.eclipse.papyrus.infra.doc/toc.xml#PapyrusDocDev"> + <topic label="Toolsmiths" > + <topic label="Profile migration tool" > + <link toc="target/generated-eclipse-help/profileMigrationToolDevDoc-toc.xml"/> + </topic> + </topic> </toc> diff --git a/plugins/doc/org.eclipse.papyrus.toolsmiths.profilemigration.doc/src/site/mediawiki/profileMigrationTool-userDoc-main-toc.xml b/plugins/doc/org.eclipse.papyrus.toolsmiths.profilemigration.doc/src/site/mediawiki/profileMigrationTool-userDoc-main-toc.xml index 57a8be30e5f..24ab8882e13 100644 --- a/plugins/doc/org.eclipse.papyrus.toolsmiths.profilemigration.doc/src/site/mediawiki/profileMigrationTool-userDoc-main-toc.xml +++ b/plugins/doc/org.eclipse.papyrus.toolsmiths.profilemigration.doc/src/site/mediawiki/profileMigrationTool-userDoc-main-toc.xml @@ -1,7 +1,7 @@ <?xml version='1.0' encoding='utf-8' ?> -<toc label="Using profile migration tool"> - <topic label="Using profile migration tool" > - <link toc="target/generated-eclipse-help/profileMigrationToolDevDoc-toc.xml"/> - <anchor id="profileMigrationToolDevDoc"/> - </topic> +<toc label="Profile migration tool" link_to="../org.eclipse.papyrus.infra.doc/toc.xml#PapyrusDocCustom"> + <topic label="Using the profile migration tool"> + + <link toc="target/generated-eclipse-help/profileMigrationToolUserDoc-toc.xml"/> +</topic> </toc> |