From c88e72ea2a34355ca68be16a2b4ab73865868ad3 Mon Sep 17 00:00:00 2001
From: Leah Rowe <info@minifree.org>
Date: Sun, 25 Sep 2016 17:48:42 +0100
Subject: add link to guide for debian installation on asus c201

---
 docs/hcl/c201.html     |  5 +++++
 docs/install/c201.html | 15 +++++++++++++++
 2 files changed, 20 insertions(+)

diff --git a/docs/hcl/c201.html b/docs/hcl/c201.html
index 174cfd52..89ffd404 100644
--- a/docs/hcl/c201.html
+++ b/docs/hcl/c201.html
@@ -92,6 +92,11 @@
                 Use one of the distributions recommend by the libreboot project.
                 See <a href="../distros/">../distros/</a>
             </p>
+            <h2>Debian GNU/Linux</h2>
+            <p>
+                <a href="https://wiki.debian.org/InstallingDebianOn/Asus/C201">https://wiki.debian.org/InstallingDebianOn/Asus/C201</a>
+                shows how to install Debian.
+            </p>
             <p>
 				<a href="#pagetop">Back to top of page</a>.
 			</p>
diff --git a/docs/install/c201.html b/docs/install/c201.html
index 9a7a2e69..2b907718 100644
--- a/docs/install/c201.html
+++ b/docs/install/c201.html
@@ -66,6 +66,9 @@
 					<li><a href="#installing_libreboot_externally">Installing Libreboot externally, with a SPI flash programmer</a></li>
 				</ul>
 			</li>
+            <li>
+                <a href="#debian">Debian GNU/Linux is recommended for this device</a>
+            </i>
 		</ul>
 
 		<p>
@@ -265,6 +268,18 @@
 
 		</div>
 
+        <h2 id="debian">
+            Debian GNU/Linux
+        </h2>
+        <p>
+            You might consider replacing ChromeOS with a free distro.
+            We have a <a href="../distros/">list of recommended distributions</a>
+            but Debian is recommended for this device.
+        </p>
+        <p>
+            See <a href="https://wiki.debian.org/InstallingDebianOn/Asus/C201">https://wiki.debian.org/InstallingDebianOn/Asus/C201</a>.
+        </p>
+
 		<p><a href="#pagetop">Back to top of page.</a></p>
 	</div>
 
-- 
cgit v1.2.3-70-g09d2