[gedit] docs: rename install.md -> build.md

[Sébastien Wilmet <swilmet src gnome org>]

commit d4b53b69b7cfd569096e41031d28143ed993a4e9
Author: Sébastien Wilmet <swilmet gnome org>
Date:   Wed Aug 28 09:00:39 2019 +0200

    docs: rename install.md -> build.md
    
    I have the intention to add:
    - build-with-jhbuild.md
    
    "install-with-jhbuild.md" sounds a slightly less good name. Jhbuild is
    usually used for contributors, and we talk more about "the build",
    instead of "the installation".

 README.md                                 | 2 +-
 docs/{install.md => build.md}             | 0
 docs/gedit-development-getting-started.md | 2 +-
 3 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/README.md b/README.md
index c548a6672..2b5fc72b8 100644
--- a/README.md
+++ b/README.md
@@ -34,7 +34,7 @@ search the section “Dependencies”.
 Installation
 ------------
 
-See the [docs/install.md](docs/install.md) file.
+To build gedit from source, see the [docs/build.md](docs/build.md) file.
 
 How to report bugs
 ------------------
diff --git a/docs/install.md b/docs/build.md
similarity index 100%
rename from docs/install.md
rename to docs/build.md
diff --git a/docs/gedit-development-getting-started.md b/docs/gedit-development-getting-started.md
index c1a74c653..53ccf7e78 100644
--- a/docs/gedit-development-getting-started.md
+++ b/docs/gedit-development-getting-started.md
@@ -61,7 +61,7 @@ for that file).
 Build/Installation
 ------------------
 
-See the file [install.md](install.md).
+See the file [build.md](build.md).
 
 First contribution
 ------------------