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

diff --git a/doc/installation.texi b/doc/installation.texi
index f513a74..e9a46ca 100644
--- a/doc/installation.texi
+++ b/doc/installation.texi
@@ -112,6 +112,13 @@ documentation, plus the design document templates and various hardware
 specifications referenced by the documentation.  Building the PDF
 version of the manual requires Texinfo and @TeX{} (see above).  You may
 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{pintos} module.  The CVS tree is @emph{not} the authoritative
+source for Stanford course materials, which should be obtained from the
+course website.
 @end enumerate
 
 @menu