diff en/ch07-filenames.tex @ 650:f72b7e6cbe90

Snapshot.
author Bryan O'Sullivan <bos@serpentine.com>
date Thu, 05 Feb 2009 00:01:16 -0800
parents 5cd47f721686
children
line wrap: on
line diff
--- a/en/ch07-filenames.tex	Thu Jan 29 22:56:27 2009 -0800
+++ b/en/ch07-filenames.tex	Thu Feb 05 00:01:16 2009 -0800
@@ -227,8 +227,7 @@
   looked up, its case is ignored.  This is the standard arrangement on
   Windows and MacOS.  The names \filename{foo} and \filename{FoO}
   identify the same file.  This treatment of uppercase and lowercase
-  letters as interchangeable is also referred to as \emph{case
-    folding}.
+  letters as interchangeable is also referred to as \emph{case folding}.
 \item Case sensitive.  The case of a name is significant at all times.
   The names \filename{foo} and {FoO} identify different files.  This
   is the way Linux and Unix systems normally work.