From e762d8e1cdc129928dd243d35911ff1e4f565ff5 Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 11 Jun 2006 16:53:09 +0000
Subject: [PATCH] Point out that the tarball does not include the doc
directory. From chris@seberino.org.
---
doc/installation.texi | 7 +++++++
1 file changed, 7 insertions(+)
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
--
2.30.2