From 3a56e3f8e3f8f37153fa1d9f96c3216d5da8ba08 Mon Sep 17 00:00:00 2001
From: mes5k <mes5k>
Date: Sun, 31 Oct 2004 22:13:18 +0000
Subject: [PATCH] tweak

---
 docs/manual.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/manual.html b/docs/manual.html
index 4695f50..07ac00e 100644
--- a/docs/manual.html
+++ b/docs/manual.html
@@ -581,7 +581,8 @@ heart's content.
 </p></div><div class="sect1" lang="en" xml:lang="en"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a id="DESCRIPTION_EXCEPTIONS"></a>Type Descriptions</h2></div></div><div></div></div><p>
 Ideally this library would use RTTI to return a human readable name
 of the type declared for a particular argument. Unfortunately, at
-least for g++, the names returned aren't particularly useful.
+least for <b class="command">g++</b>, the names returned aren't 
+particularly useful.
 </p></div></div><div class="chapter" lang="en" xml:lang="en"><div class="titlepage"><div><div><h2 class="title"><a id="VISITORS"></a>Chapter 4. Visitors</h2></div></div><div></div></div><p>
 Disclaimer: Almost no one will have any use for Visitors, they were
 added to provide special handling for default arguments. Nothing