[project @ 2004-01-05 10:07:25 by ross]
authorross <unknown>
Mon, 5 Jan 2004 10:07:25 +0000 (10:07 +0000)
committerross <unknown>
Mon, 5 Jan 2004 10:07:25 +0000 (10:07 +0000)
doc tweak

GHC/IOBase.lhs

index d5a997c..b669a11 100644 (file)
@@ -399,7 +399,7 @@ type FilePath = String
 -- but not less frequently, than specified above.
 -- The output buffer is emptied as soon as it has been written out.
 --
--- Similarly, input occurs according to the buffer mode for handle {\em hdl}.
+-- Similarly, input occurs according to the buffer mode for the handle:
 --
 --  * /line-buffering/: when the buffer for the handle is not empty,
 --    the next item is obtained from the buffer; otherwise, when the