From 52a54071df516d1e35dd30d7b9cea01b57eaa92e Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Sat, 3 Aug 2013 13:17:38 +0200 Subject: [PATCH] ucw-verb: Do not forget about "|" when turning off special meanings Thanks to Jan Moskyto Matejka for the fix. --- ucw-verb.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ucw-verb.tex b/ucw-verb.tex index 981aebe..ab89518 100644 --- a/ucw-verb.tex +++ b/ucw-verb.tex @@ -42,7 +42,7 @@ \def\verb{\relax\def\sv@rb##1{\uccode`~=`##1% \uppercase{\catcode`~13\global\let~\endgroup}}% -\begingroup\setverb@tim\sv@rb} +\begingroup\setverb@tim\do\|\sv@rb} % Typesetting of verbatim blocks: % - the block is enclosed in balanced {}'s -- 2.39.2