From f0ccc5c5123751d0ea3d77433f18f2cc006dc7a0 Mon Sep 17 00:00:00 2001
From: Danny Yoo <dyoo@hashcollision.org>
Date: Mon, 5 Sep 2011 21:44:32 -0400
Subject: [PATCH] switched the tt's to verboses for the command line options;
 thanks to Doug Orleans

---
 scribblings/manual.scrbl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scribblings/manual.scrbl b/scribblings/manual.scrbl
index cea2183..f6d73c8 100644
--- a/scribblings/manual.scrbl
+++ b/scribblings/manual.scrbl
@@ -389,11 +389,11 @@ Almost all of the @tt{whalesong} commands support two command line options:
 
 @itemize{
 
-@item{@tt{--compress-javascript}: Use Google Closure's JavaScript
+@item{@verbatim{--compress-javascript}: Use Google Closure's JavaScript
 compiler to significantly compress the JavaScript.  Using this
 currently requires a Java 1.6 JDK.}
 
-@item{@tt{--verbose}: write verbose debugging information to standard error.}
+@item{@verbatim{--verbose}: write verbose debugging information to standard error.}
 }