From 9b1ad47c62e36d8d0fef69f7cc51782bd666d505 Mon Sep 17 00:00:00 2001
From: Frans Pop <elendil@planet.nl>
Date: Thu, 3 Aug 2006 11:14:42 +0000
Subject: Fix broken English and improve text

---
 en/appendix/files.xml | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

(limited to 'en')

diff --git a/en/appendix/files.xml b/en/appendix/files.xml
index a4ec9d2bd..c2da77fcb 100644
--- a/en/appendix/files.xml
+++ b/en/appendix/files.xml
@@ -5,14 +5,14 @@
  <sect1 id="linuxdevices"><title>Linux Devices</title>
 <para>
 
-In Linux you have various special files in
-<filename>/dev</filename>. These files are called device files. In
-the Unix world accessing hardware is different.  There you have a
-special file which actually runs a driver which in turn accesses the
-hardware. The device file is an interface to the actual system
-component. Files under <filename>/dev</filename> also behave
-differently than ordinary files. Below are the most important device
-files listed.
+In Linux various special files can be found under the directory
+<filename>/dev</filename>. These files are called device files and
+behave unlike ordinary files. The most common types of device files
+are for block devices and character devices. These files are an
+interface to the actual driver (part of the Linux kernel) which in
+turn accesses the hardware. Another, less common, type of device file
+is the named <firstterm>pipe</firstterm>.
+The most important device files are listed in the tables below.
 
 </para><para>
 
@@ -106,7 +106,7 @@ files listed.
 <informaltable><tgroup cols="2"><tbody>
 <row>
   <entry><filename>null</filename></entry>
-  <entry>Everything pointed to this device will disappear</entry>
+  <entry>Anything written to this device will disappear</entry>
 </row><row>
   <entry><filename>zero</filename></entry>
   <entry>One can endlessly read zeros out of this device</entry>
-- 
cgit v1.2.3