From 3819d9659e22cc3db991e7d19237fb5bf1c79e71 Mon Sep 17 00:00:00 2001
From: sperber <sperber>
Date: Wed, 10 Apr 2002 15:12:48 +0000
Subject: [PATCH] Remove side effects from \sharpf and \sharpt.

---
 doc/scsh-manual/decls.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/scsh-manual/decls.tex b/doc/scsh-manual/decls.tex
index 5fa833e..46b572e 100644
--- a/doc/scsh-manual/decls.tex
+++ b/doc/scsh-manual/decls.tex
@@ -15,8 +15,8 @@
 \def\RnRS{R5RS}
 \def\Posix{\textsc{Posix}}
 
-\def\sharpf{\normalfont\texttt{\#f}}
-\def\sharpt{\normalfont\texttt{\#t}}
+\def\sharpf{\textnormal{\texttt{\#f}}}
+\def\sharpt{\textnormal{\texttt{\#t}}}
 \newcommand{\synteq}{\textnormal{::=}}
 
 \def\maketildeother{\catcode`\~=12}