X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fdocs%2Fusers_guide%2Fdebugging.sgml;h=8f0415f2dd50520ebfad86da1dce38fc854c2acd;hb=8cbaa72b2012f0afeb9b6a556746cc0daa6dbfb6;hp=bc0f985411dcfc16396b26305481a17b0fc339c3;hpb=cae34044d89a87bd3da83b0e867b4a5d6994079a;p=ghc-hetmet.git

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>