From 41a1c54db2eaf6c7981fad4a1c34716b5781f46a Mon Sep 17 00:00:00 2001
From: Leah Rowe <info@minifree.org>
Date: Fri, 14 Oct 2016 14:49:54 +0100
Subject: docs/distros: Add Devuan to the list of recommended GNU/Linux
 distributions

---
 docs/distros/index.html | 16 ++++++++++++++--
 1 file changed, 14 insertions(+), 2 deletions(-)

(limited to 'docs/distros')

diff --git a/docs/distros/index.html b/docs/distros/index.html
index da2323e5..cc71cd92 100644
--- a/docs/distros/index.html
+++ b/docs/distros/index.html
@@ -35,7 +35,7 @@
 
 	<div class="section">
 
-        <h2>Debian GNU/Linux</h2>
+        <h2>Debian</h2>
             <p>
                 Most of the developers use it (Leah Rowe always uses testing
                 releases of Debian). We recommend Debian stable releases for
@@ -51,9 +51,21 @@
             <p>
                 <a href="https://www.debian.org/">Visit the Debian website</a>
             </p>
+        <h2>Devuan</h2>
+            <p>
+                Devuan is a fork of Debian that does not use the controversial
+                <em>systemd</em> init system.
+            </p>
+            <p>
+                <a href="https://www.devuan.org/os/init-freedom/">https://www.devuan.org/os/init-freedom/</a>.
+                TODO for Leah: try it. Systemd sometimes make shutting down take 10 minutes. No joke.
+            </p>
+            <p>
+                <a href="https://www.devuan.org/">Visit the Devuan website</a>
+            </p>
         <h2>Parabola GNU/Linux</h2>
             <p>
-                Fully free bleeding edge distribution, based on <em>Arch Linux</em>.
+                Fully free bleeding edge distribution, based on the <em>Arch</em> distribution.
                 Good for saavy users and developers in general (some libreboot developers
                 use this).
             </p>
-- 
cgit v1.2.3-70-g09d2