TOC: move welcome.md to separate Home top-level node

This commit is contained in:
Yann Cébron 2021-04-28 12:50:45 +02:00
parent 43bca143f8
commit e4d1a7d8ed

View File

@ -2,8 +2,8 @@
<!DOCTYPE product-profile
SYSTEM "https://resources.jetbrains.com/stardust/product-profile.dtd">
<product-profile id="ijs" name="IntelliJ Platform Plugin SDK" start-page="welcome.md" status="release">
<toc-element toc-title="Summary">
<toc-element id="welcome.md" accepts-web-file-names="welcome.html" toc-title="Introduction"/>
<toc-element id="welcome.md" accepts-web-file-names="welcome.html" toc-title="Home"/>
<toc-element toc-title="Introduction">
<toc-element id="intellij_platform.md" toc-title="The IntelliJ Platform">
<toc-element id="platform_contributions.md" toc-title="Contributing to the IntelliJ Platform"/>
<toc-element id="intellij_coding_guidelines.md" toc-title="IntelliJ Platform Coding Guidelines"/>