From 7bdfa163281617e45add7058dfb9b1a27d064a1f Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Thu, 15 Jun 2006 00:59:18 +0000 Subject: [PATCH] @ need to be escaped. --- doc/installation.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/installation.texi b/doc/installation.texi index e9a46ca..c15c125 100644 --- a/doc/installation.texi +++ b/doc/installation.texi @@ -115,7 +115,7 @@ install @file{WWW} wherever you find most useful. The @file{doc} directory is not included in the @file{.tar.gz} distributed for Pintos. It is in the Pintos CVS tree available via -@code{:pserver:anonymous@footstool.stanford.edu:/var/lib/cvs}, in the +@code{:pserver:anonymous@@footstool.stanford.edu:/var/lib/cvs}, in the @code{pintos} module. The CVS tree is @emph{not} the authoritative source for Stanford course materials, which should be obtained from the course website. -- 2.30.2