projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Switch docs to use Git instead of CVS by default
[pintos-anon]
/
doc
/
installation.texi
diff --git
a/doc/installation.texi
b/doc/installation.texi
index f6dfe44f428bd51e59bf6528e935191ca82c87b9..410b3336437b99f7e2f5e25b403c7ae4c225549f 100644
(file)
--- a/
doc/installation.texi
+++ b/
doc/installation.texi
@@
-41,7
+41,7
@@
Required: @uref{http://www.gnu.org/software/make/, GNU make}, version
@item
Recommended: @uref{http://fabrice.bellard.free.fr/qemu/, QEMU}, version
@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
+0.
11
.0 or later. If QEMU is not available, Bochs can be used, but its
slowness is frustrating.
@item
slowness is frustrating.
@item