From e762d8e1cdc129928dd243d35911ff1e4f565ff5 Mon Sep 17 00:00:00 2001 From: Ben Pfaff 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