From 96ed87ac95fca6c84c2382ad97932a813fa3e9af Mon Sep 17 00:00:00 2001
From: rtoy <rtoy>
Date: Mon, 2 Oct 2006 14:20:32 +0000
Subject: [PATCH] Plain "<foo>" doesn't do what we want.  Use \var{foo}
 instead.

---
 docs/cmu-user/debugger.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/cmu-user/debugger.tex b/docs/cmu-user/debugger.tex
index afcf662d1..19996b2e9 100644
--- a/docs/cmu-user/debugger.tex
+++ b/docs/cmu-user/debugger.tex
@@ -1020,7 +1020,7 @@ function entry or exit.
   function we want to trace and \code{f1}, \code{f2}, are the
   functions containing the local function \code{f}.
   Invidiual methods can also be traced using the syntax \code{(method
-    <name> <qualifiers> <specializers>)}.
+    \var{name} \var{qualifiers} \var{specializers})}.
   See~\ref{sec:method-tracing} for more information.
 
   If no \var{names} or \var{options} are are given, \code{trace}
-- 
GitLab