3.80 or later.
@item
-Recommended: @uref{http://fabrice.bellard.free.fr/qemu/, qemu}, version
-0.8.0 or later. If qemu is not available, Bochs can be used, but its
+Recommended: @uref{http://fabrice.bellard.free.fr/qemu/, QEMU}, version
+0.8.0 or later. If QEMU is not available, Bochs can be used, but its
slowness is frustrating.
@item
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