From cad9552bb84e4ee55018da14563775a5b3c6a0c9 Mon Sep 17 00:00:00 2001
From: Leah Rowe <info@minifree.org>
Date: Fri, 14 Oct 2016 15:01:43 +0100
Subject: docs: mention Devuan equally, alongside Debian

---
 docs/misc/index.html | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'docs/misc')

diff --git a/docs/misc/index.html b/docs/misc/index.html
index 97b32576..ac0aa350 100644
--- a/docs/misc/index.html
+++ b/docs/misc/index.html
@@ -19,7 +19,7 @@
 				Or <a href="../index.html">Back to main index</a>.
 			</p>
 			<ul>
-				<li><a href="#debian_powertop">High Pitched Whining Noise on Idle (how to remove in Debian)</a></li>
+				<li><a href="#debian_powertop">High Pitched Whining Noise on Idle (how to remove in Debian or Devuan)</a></li>
 				<li><a href="#high_pitch_parabola">High Pitched Whining Noise on Idle (how to remove in Parabola)</a></li>
 				<li><a href="#serial">X60/T60: Serial port - how to use (for dock owners)</a></li>
 				<li><a href="#powerbeeps">Power Management Beeps on Thinkpads</a></li>
@@ -32,7 +32,7 @@
 
 	<div class="section">
 
-		<h1 id="debian_powertop">High Pitched Whining Noise on Idle (how to remove in Debian)</h1>
+		<h1 id="debian_powertop">High Pitched Whining Noise on Idle (how to remove in Debian or Devuan)</h1>
 
 			<div class="subsection">
 				<h2 id="debian_powertop_autostart">Start powertop automatically at boot time</h2>
@@ -140,9 +140,9 @@ WantedBy=multi-user.target
 				You can also configure your distro so that a terminal (TTY) is accessible from the serial console.
 			</p>
 			<p>
-				The following guide is for Ubuntu, but it should work in Debian, to enable a serial console using GeTTY:<br/>
+				The following guide is for Ubuntu, but it should work in Debian and Devuan, to enable a serial console using GeTTY:<br/>
 				<a href="https://help.ubuntu.com/community/SerialConsoleHowto">https://help.ubuntu.com/community/SerialConsoleHowto</a>
-                (we DO NOT recommend Ubuntu, because it contains non-free software in the default repos. Use Debian)
+                (we DO NOT recommend Ubuntu, because it contains non-free software in the default repos. Use Debian or Devuan)
 			</p>
 			<p>
 				Note: part of the tutorial above requires changing your grub.cfg. Just change the <b>linux</b> line to add instructions for enabling getty.
@@ -250,7 +250,7 @@ WantedBy=multi-user.target
 				Or look in <b>/sys/class/drm/card0-LVDS-1/edid</b>
 			</p>
 			<p>
-				Alternatively you can use i2cdump. In Debian, this is in the package i2c-tools.<br/>
+				Alternatively you can use i2cdump. In Debian and Devuan, this is in the package i2c-tools.<br/>
 				$ <b>sudo modprobe i2c-dev</b><br/>
 				$ <b>sudo i2cdump -y 5 0x50</b> (you might have to change the value for -y)<br/>
 				$ <b>sudo rmmod i2c-dev</b><br/>
-- 
cgit v1.2.3-70-g09d2