From 4dbef14e57eebfd86079fcc2185adc33e72e2d8b Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Fri, 2 Jun 2006 22:13:31 +0000 Subject: [PATCH] Make quoting consistent. --- doc/installation.texi | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/installation.texi b/doc/installation.texi index 3bab217..5e35e8b 100644 --- a/doc/installation.texi +++ b/doc/installation.texi @@ -79,12 +79,12 @@ described below (@pxref{Building Bochs for Pintos}). @item Install scripts from @file{src/utils}. Copy @file{backtrace}, -@command{pintos}, @command{pintos-gdb}, @command{pintos-mkdisk} into the +@file{pintos}, @file{pintos-gdb}, @file{pintos-mkdisk} into the default @env{PATH}. @item Install @file{src/misc/gdb-macros} in a public location. Then use a -text editor to edit the installed copy of @command{pintos-gdb}, changing +text editor to edit the installed copy of @file{pintos-gdb}, changing the definition of @env{GDBMACROS} to point to where you installed @file{gdb-macros}. Test the installation by running @command{pintos-gdb} without any arguments. If it does not complain -- 2.30.2