diff --git a/doc/Protocol-A.texi b/doc/Protocol-A.texi
index 79085133915487a954d761283bf54116d0af19bd..1580a4286c89b2d43afc2b23e380798bf4ae8dcf 100644
--- a/doc/Protocol-A.texi
+++ b/doc/Protocol-A.texi
@@ -4,7 +4,7 @@
 @c FIXME: @i{Example:} is only used in front of some examples.
 @c FIXME: Make all types clickable in HTML (and info?)
 @c
-@c $Id: Protocol-A.texi,v 1.116 2001/04/29 13:07:35 ceder Exp $
+@c $Id: Protocol-A.texi,v 1.117 2001/04/29 13:21:41 ceder Exp $
 @c %**start of header
 @setfilename protocol-a.info
 @settitle LysKOM Protocol A
@@ -164,7 +164,7 @@ another language under the same conditions as for modified versions.
 @iftex
 @parindent 0pt
 @font@tensltt=cmsltt10
-@begin tex
+@tex
 \global\def\rett#1{{\let\t\sltt\tt #1}}
 \global\def\sltt#1{{\fam\ttfam\tensltt\let\t\rett #1}}
 \global\let\t\sltt