Rename index page

php-type-language · Jan 26, 2024 · 25a016f · 25a016f
1 parent c33e1b7
commit 25a016f
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/tl.tree b/tl.tree
@@ -3,10 +3,12 @@
         SYSTEM "https://resources.jetbrains.com/writerside/1.0/product-profile.dtd">
 
 <instance-profile id="tl"
-                  name="PHP Type Language"
-                  start-page="index.topic">
+                  name="Type Language"
+                  status="eap"
+                  is-library="true"
+                  start-page="overview.topic">
 
-    <toc-element topic="index.topic">
+    <toc-element topic="overview.topic">
         <toc-element topic="basic-types.md"/>
         <toc-element topic="logical-types.md"/>
         <toc-element topic="generic-types.md"/>

diff --git a/topics/index.topic → topics/overview.topic b/topics/index.topic → topics/overview.topic
@@ -4,7 +4,7 @@
 <topic xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
        xsi:noNamespaceSchemaLocation="https://resources.jetbrains.com/writerside/1.0/topic.v2.xsd"
        title="Language"
-       id="index" help-id="overview">
+       id="overview" help-id="overview;index">
     <section-starting-page>
         <title>Language Overview</title>
         <description>