Add Fedora install instructions.

Closes bazelbuild#3721.

Change-Id: I4ce8ef72c4ee2b6352df78301888b85388c7c36d
PiperOrigin-RevId: 169922383

site/_layouts/documentation.html

@@ -35,6 +35,7 @@ <h1>Documentation</h1>
                 <ul class="collapse sidebar-nav sidebar-submenu" id="installing-menu">
                   <li><a href="/versions/{{ site.version }}/install.html">Installing Bazel</a></li>
                   <li><a href="/versions/{{ site.version }}/install-ubuntu.html">Installing Bazel on Ubuntu</a></li>
+                  <li><a href="/versions/{{ site.version }}/install-redhat.html">Installing Bazel on Fedora and CentOS</a></li>
                   <li><a href="/versions/{{ site.version }}/install-os-x.html">Installing Bazel on macOS (OS X)</a></li>
                   <li><a href="/versions/{{ site.version }}/install-windows.html">Installing Bazel on Windows</a></li>
                   <li><a href="/versions/{{ site.version }}/install-compile-source.html">Compile Bazel from Source</a></li>

site/docs/install-redhat.md

@@ -0,0 +1,33 @@
+---
+layout: documentation
+title: Installing Bazel on Fedora and CentOS
+---
+
+# Install Bazel on Fedora and CentOS
+
+The Bazel team does not provide official packages for Fedora and CentOS.
+Vincent Batts [@vbatts](https://github.com/vbatts) generously maintains
+unofficial packages on
+[Fedora COPR](https://copr.fedorainfracloud.org/coprs/vbatts/bazel/).
+
+## Install Bazel on Fedora 25, 26
+
+1. Install `dnf` and the `copr` plugin if you have not already done so.
+
+2. Run the following commands:
+
+   ```bash
+   dnf copr enable vbatts/bazel
+   dnf install bazel
+   ```
+
+## Install Bazel on CentOS 7
+
+1. Download the corresponding `.repo` file from [Fedora COPR](https://copr.fedorainfracloud.org/coprs/vbatts/bazel/)
+   and copy it to `/etc/yum.repos.d/`.
+
+2. Run the following command:
+
+   ```bash
+   yum install bazel
+   ```

site/docs/install.md

@@ -8,6 +8,7 @@ title: Installing Bazel
 See the instructions for installing Bazel on:
 
 *   [Ubuntu Linux (16.04, 15.10, and 14.04)](install-ubuntu.md)
+*   [Fedora 25, 26, and CentOS 7](install-redhat.md)
 *   [Mac OS X](install-os-x.md)
 *   [Windows](install-windows.md)