Fix invalid docs navigation title (#8527)

Fixes #8522

diff --git a/documentation/introduction/chapter-introduction.asciidoc b/documentation/introduction/chapter-introduction.asciidoc
index 111d3a23f5e19c566e64dc5250f73183b1c36fdc..1cc63fa76c8902c8ccd05043143b91b142720c9b 100644 (file)
--- a/documentation/introduction/chapter-introduction.asciidoc
+++ b/documentation/introduction/chapter-introduction.asciidoc
@@ -10,7 +10,7 @@ include::intro-overview.asciidoc[leveloffset=+2]
 
 include::intro-walkthrough.asciidoc[leveloffset=+2]
 
-include::intro-eclipse.asciidoc[leveloffset=+2]
+include::intro-ide.asciidoc[leveloffset=+2]
 
 include::intro-goals.asciidoc[leveloffset=+2]
 

diff --git a/documentation/introduction/intro-eclipse.asciidoc b/documentation/introduction/intro-eclipse.asciidoc
deleted file mode 100644 (file)
index e698aef..0000000
--- a/documentation/introduction/intro-eclipse.asciidoc
+++ /dev/null
@@ -1,35 +0,0 @@
----
-title: Support for the Eclipse IDE
-order: 3
-layout: page
----
-
-[[intro.eclipse]]
-= Support for IDEs
-
-While Vaadin is not bound to any specific IDE, and you can in fact easily use it
-without any IDE altogether, we provide special support for the Eclipse IDE, IntelliJ IDEA, and the NetBeans IDE, which have become the most used environment for Java development.
-
-An official Vaadin plug-in is available for the Eclipse and NetBeans IDEs.
-It helps in:
-
-* creating new Vaadin projects,
-
-* creating custom themes,
-
-* creating custom client-side widgets,
-
-* downloading add-ons from the Vaadin directory, and
-
-* easily upgrading to a newer version of the Vaadin library.
-
-Availability of the features depends on the IDE.
-The ultimate edition of IntelliJ IDEA comes with built-in support for Vaadin.
-
-*_Vaadin Designer_* is a commercial plug-in available for the Eclipse IDE and IntelliJ IDEA.
-It enables visual editing of declarative designs that you can use in your applications.
-See <<dummy/../../../designer/designer-overview#designer.overview, "Vaadin Designer">> for more information.
-
-Using the Vaadin plug-in is the recommended way of installing Vaadin for development.
-Installing the IDEs and the plug-ins is covered in <<dummy/../../../framework/installing/installing-overview#installing, "Installing Development Tools">>.
-The creation of a new Vaadin project with each IDE is covered in <<dummy/../../../framework/getting-started/getting-started-first-project#getting-started.overview, "Creating a Vaadin Project">>.

diff --git a/documentation/introduction/intro-ide.asciidoc b/documentation/introduction/intro-ide.asciidoc
new file mode 100644 (file)
index 0000000..7f6fb00
--- /dev/null
+++ b/documentation/introduction/intro-ide.asciidoc
@@ -0,0 +1,35 @@
+---
+title: Support for IDEs
+order: 3
+layout: page
+---
+
+[[intro.ide]]
+= Support for IDEs
+
+While Vaadin is not bound to any specific IDE, and you can in fact easily use it
+without any IDE altogether, we provide special support for the Eclipse IDE, IntelliJ IDEA, and the NetBeans IDE, which have become the most used environment for Java development.
+
+An official Vaadin plug-in is available for the Eclipse and NetBeans IDEs.
+It helps in:
+
+* creating new Vaadin projects,
+
+* creating custom themes,
+
+* creating custom client-side widgets,
+
+* downloading add-ons from the Vaadin directory, and
+
+* easily upgrading to a newer version of the Vaadin library.
+
+Availability of the features depends on the IDE.
+The ultimate edition of IntelliJ IDEA comes with built-in support for Vaadin.
+
+*_Vaadin Designer_* is a commercial plug-in available for the Eclipse IDE and IntelliJ IDEA.
+It enables visual editing of declarative designs that you can use in your applications.
+See <<dummy/../../../designer/designer-overview#designer.overview, "Vaadin Designer">> for more information.
+
+Using the Vaadin plug-in is the recommended way of installing Vaadin for development.
+Installing the IDEs and the plug-ins is covered in <<dummy/../../../framework/installing/installing-overview#installing, "Installing Development Tools">>.
+The creation of a new Vaadin project with each IDE is covered in <<dummy/../../../framework/getting-started/getting-started-first-project#getting-started.overview, "Creating a Vaadin Project">>.