projects
/
pintos-anon
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
fd24c23
)
Point out that the tarball does not include the doc directory.
author
Ben Pfaff
<blp@cs.stanford.edu>
Sun, 11 Jun 2006 16:53:09 +0000
(16:53 +0000)
committer
Ben Pfaff
<blp@cs.stanford.edu>
Sun, 11 Jun 2006 16:53:09 +0000
(16:53 +0000)
From chris@seberino.org.
doc/installation.texi
patch
|
blob
|
history
diff --git
a/doc/installation.texi
b/doc/installation.texi
index f513a746134336fca132e91db2bd096163c8210e..e9a46ca468aa593c85cc651c05eb2c738070e325 100644
(file)
--- 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.
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
@end enumerate
@menu