update layout and title of installation and simply trees of binary-ba… (#551)

* update layout and title of installation and simply trees of binary-based installation

* retrive: title of setup

manual/setup/setup_with_s3.md

@@ -6,7 +6,7 @@ From Seafile 13, there are two ways to configure S3 storage (**single S3 storage
 - Config file (`seafile.conf`)
 
 !!! note "Setup note for binary packages deployment (Pro)"
-    If your Seafile server is deployed from [binary packages](../setup_binary/installation_pro.md), you have to do the following steps before deploying:
+    If your Seafile server is deployed from [binary packages](../setup_binary/installation.md), you have to do the following steps before deploying:
     
     1. **install `boto3` to your machine**
 
@@ -14,7 +14,7 @@ From Seafile 13, there are two ways to configure S3 storage (**single S3 storage
         sudo pip install boto3
         ```
 
-    2. **Install and configure [memcached or Redis](../setup_binary/installation_pro.md#setup-memory-cache)**. 
+    2. **Install and configure [memcached or Redis](../setup_binary/installation.md#setup-memory-cache)**. 
     
         For best performance, Seafile requires enable memory cache for objects. We recommend to **at least allocate 128MB** memory for memcached or Redis.
 

manual/setup/use_seasearch.md

@@ -5,7 +5,7 @@
 !!! note "For Seafile deploy from binary package"
     We currently **only support Docker-based** deployment for SeaSearch Server, so this document describes the configuration with the situation of using Docker to deploy Seafile server. 
     
-    If your Seafile Server deploy from binary package, please refer [here](../setup_binary/installation_pro.md#starting-seafile-server) to start or stop Seafile Server.
+    If your Seafile Server deploy from binary package, please refer [here](../setup_binary/installation.md#starting-seafile-server) to start or stop Seafile Server.
 
 !!! tip "For Seafile cluster"
     Theoretically, **at least** the backend node has to restart, if your Seafile server deploy in cluster mode, but we still suggest you configure and restart **all node** to make sure the consistency and synchronization in the cluster

manual/setup_binary/cluster_deployment.md

@@ -11,7 +11,7 @@ Please refer [here](../setup/system_requirements.md#seafile-cluster) for the det
 
 ### Install prerequisites
 
-Please follow [here](./installation_pro.md#installing-prerequisites) to install prerequisites
+Please follow [here](./installation.md#installing-prerequisites) to install prerequisites
 
 !!! note 
     Cache server (the first step) is not necessary, if you donot wish this node deploy it.
@@ -137,9 +137,9 @@ There are 2 firewall rule changes for Seafile cluster:
 
 Please follow *Installation of Seafile Server Professional Edition* to setup:
 
-- [Download the install package](./installation_pro.md#downloading-the-install-package)
-- [Uncompress the package](./installation_pro.md#uncompressing-the-package)
-- [Set up Seafile Pro databases](./installation_pro.md#setting-up-seafile-pro-databases)
+- [Download the install package](./installation.md#downloading-the-install-package)
+- [Uncompress the package](./installation.md#uncompressing-the-package)
+- [Set up Seafile Pro databases](./installation.md#setting-up-seafile-pro-databases)
 
 ### Create and Modify configuration files in `/opt/seafile/conf`
 

manual/setup_binary/https_with_nginx.md

@@ -1,6 +1,6 @@
 # Enabling HTTPS with Nginx
 
-After completing the installation of [Seafile Server Professional Edition](./installation_pro.md), communication between the Seafile server and clients runs over (unencrypted) HTTP. While HTTP is ok for testing purposes, switching to HTTPS is imperative for production use.
+After completing the installation of [Seafile Server Professional Edition](./installation.md), communication between the Seafile server and clients runs over (unencrypted) HTTP. While HTTP is ok for testing purposes, switching to HTTPS is imperative for production use.
 
 HTTPS requires a SSL certificate from a Certificate Authority (CA). Unless you already have a SSL certificate, we recommend that you get your SSL certificate from [Let’s Encrypt](https://letsencrypt.org/) using Certbot. If you have a SSL certificate from another CA, skip the section "Getting a Let's Encrypt certificate".
 

manual/setup_binary/outline.md

@@ -1,9 +1,12 @@
 # Deploy Seafile Pro Edition
 
+!!! danger
+    Since version 13.0, binary based deployment for community edition is no longer supported.
+
 There are two ways to deploy Seafile Pro Edition. Since version 8.0, the recommend way to install Seafile Pro Edition is using Docker.
 
 - Method 1 (***Recommend***): Deploy Seafile with [Docker](../setup/setup_pro_by_docker.md)
-- Method 2: [Download and Setup Seafile Professional Server Step by Step](./installation_pro.md)
+- Method 2: [Download and Setup Seafile Professional Server Step by Step](./installation.md)
 
 ## Migration from community edition
 

manual/setup_binary/outline_ce.md

@@ -1,4 +0,0 @@
-# Deploying Seafile
-
-!!! warning
-    Since version 13.0, binary based deployment for community edition is no longer supported.

manual/upgrade/upgrade_a_cluster_binary.md

@@ -51,7 +51,7 @@ Doing maintanence upgrading is simple, you only need to run the script `./upgrad
 
 2. Install [new Python libraries](./upgrade_notes_for_12.0.x.md#new-python-libraries)
 
-3. [Download](../setup_binary/installation_pro.md#downloading-the-install-package) and [uncompress](../setup_binary/installation_pro.md#uncompressing-the-package) the package
+3. [Download](../setup_binary/installation.md#downloading-the-install-package) and [uncompress](../setup_binary/installation.md#uncompressing-the-package) the package
 
 4. Run the upgrade script in a single node
 

mkdocs.yml

@@ -87,6 +87,7 @@ nav:
     - Introduction: README.md
     - Seafile Components: introduction/components.md
     - File permission management: introduction/file_permission_management.md
+    - Seafile Pro edition license: introduction/seafile_professional_sdition_software_license_agreement.md
     - Roadmap: introduction/roadmap.md
     - Contribution: introduction/contribution.md
   - Setup:
@@ -121,14 +122,10 @@ nav:
       - Migration from Seafile Community: setup/migrate_ce_to_pro_with_docker.md
       - Migrate from non-docker deployment: setup/migrate_non_docker_to_docker.md
   - Setup (binary):
-    - Seafile Community Setup:
-      - Outline: setup_binary/outline_ce.md
-    - Seafile Professional Setup:
-      - Outline: setup_binary/outline_pro.md
-      - License: setup_binary/seafile_professional_sdition_software_license_agreement.md
-      - Installation: setup_binary/installation_pro.md
-      - HTTPS with Nginx: setup_binary/https_with_nginx.md
-      - Cluster Deployment: setup_binary/cluster_deployment.md
+    - Outline: setup_binary/outline.md
+    - Installation: setup_binary/installation.md
+    - HTTPS with Nginx: setup_binary/https_with_nginx.md
+    - Cluster Deployment: setup_binary/cluster_deployment.md
     - Other deployment notes:
       - Start Seafile at System Bootup: setup_binary/start_seafile_at_system_bootup.md
       - Logrotate: setup_binary/using_logrotate.md