X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Finstallation.texi;h=c15c1253e7e235a3c2f4090ca2019ba2d017ed65;hb=7bdfa163281617e45add7058dfb9b1a27d064a1f;hp=e9a46ca468aa593c85cc651c05eb2c738070e325;hpb=fc645de2c1499c0069ba0bb76240a5d93c94717b;p=pintos-anon

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.