Explain how to use patch.

diff --git a/src/misc/bochs-2.1.1.patch b/src/misc/bochs-2.1.1.patch
index f470f529fe7655d04b11b396a4d1d3c4de5acdd9..d55d83ed73012e0572af614ca6009c6af8525940 100644 (file)
--- a/src/misc/bochs-2.1.1.patch
+++ b/src/misc/bochs-2.1.1.patch
@@ -14,6 +14,12 @@ connect a serial port to stdout and it doesn't work under Solaris
 anyway.  This patch is useful everywhere with `pintos', but may not be
 wanted elsewhere.
 
+To apply all the patches, cd into the Bochs directory, then type
+       patch -p1 < ~/pintos/src/misc/bochs-2.1.1.patch
+You will have to supply the proper path to the patch, of course.  You
+can provide the --dry-run option to patch if you want to test whether
+the patch would apply cleanly before actually patching.
+
 Here's a ./configure invocation for Bochs that works optimally with
 the `pintos' utility:
        ./configure --with-x --with-x11 --with-term --with-nogui