X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Finstallation.texi;fp=doc%2Finstallation.texi;h=f513a746134336fca132e91db2bd096163c8210e;hb=fd24c2387f5cf1b802e885c7430ba1f1bb852e13;hp=5e35e8b2e0f82240715b09b39a37bec42633baf0;hpb=1f197c6861841bc0c27327c20b85e7b43b65affe;p=pintos-anon

diff --git a/doc/installation.texi b/doc/installation.texi
index 5e35e8b..f513a74 100644
--- a/doc/installation.texi
+++ b/doc/installation.texi
@@ -40,8 +40,8 @@ Required: @uref{http://www.gnu.org/software/make/, GNU make}, version
 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