From: rrt <unknown>
Date: Fri, 29 Sep 2000 15:27:37 +0000 (+0000)
Subject: [project @ 2000-09-29 15:27:37 by rrt]
X-Git-Tag: Approximately_9120_patches~3715
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=d24d5947787bbe7520c0808e1c7ffd3728bcfa2d;p=ghc-hetmet.git

[project @ 2000-09-29 15:27:37 by rrt]
Changed *do* to <Emphasis>do</Emphasis>
---

diff --git a/ghc/docs/users_guide/debugging.sgml b/ghc/docs/users_guide/debugging.sgml
index bc0f985..8f0415f 100644
--- a/ghc/docs/users_guide/debugging.sgml
+++ b/ghc/docs/users_guide/debugging.sgml
@@ -697,7 +697,7 @@ disappointed if you try to glob etc. inside <Literal>OPTIONS</Literal>.
 
 <Para>
 NOTE: the contents of OPTIONS are prepended to the command-line
-options, so you *do* have the ability to override OPTIONS settings
+options, so you <Emphasis>do</Emphasis> have the ability to override OPTIONS settings
 via the command line.
 </Para>