update menu

docs/procedure.md

@@ -1,13 +1,5 @@
 # Installation
 
-## Technical Requirements
-
-* Install PHP 8.0 or higher and these PHP extensions (which are installed and enabled by default in most PHP 8 installations): Ctype, iconv, JSON, PCRE, Session, SimpleXML, and Tokenizer;
-* [Install Composer](https://getcomposer.org/download/), which is used to install PHP packages.
-* [Install NodeJS](https://nodejs.org/en/download/) 16 or higher, [Yarn](https://classic.yarnpkg.com/en/docs/install/#debian-stable) and [Webpack](https://webpack.js.org/guides/installation/)
-* A created database (MySQL, PostgreSQL or SQLite)
-* build-essential to run `make`
-
 ## Setting up the skeleton
 
 Depending of you environment, PHP and composer could be located in specific paths.  

docs/requirements.md

@@ -0,0 +1,7 @@
+# Technical Requirements
+
+* Install PHP 8.0 or higher and these PHP extensions (which are installed and enabled by default in most PHP 8 installations): Ctype, iconv, JSON, PCRE, Session, SimpleXML, and Tokenizer;
+* [Install Composer](https://getcomposer.org/download/), which is used to install PHP packages.
+* [Install NodeJS](https://nodejs.org/en/download/) 16 or higher, [Yarn](https://classic.yarnpkg.com/en/docs/install/#debian-stable) and [Webpack](https://webpack.js.org/guides/installation/)
+* A created database (MySQL, PostgreSQL or SQLite)
+* build-essential to run `make`

mkdocs.yml

@@ -46,7 +46,9 @@ nav:
   - Overview:
     - Overview: index.md
     - 'Sources codes': sources.md
-  - Installation: install.md
+  - Installation:
+    - Requirements: requirements.md
+    - Procedure: procedure.md
   - Documentation:
     - 'Tree manager':
       - Overview: tree/index.md