X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=INSTALL.Linux;h=da992b57d4f9eebf14c9cee77c92c3d8c3464aff;hb=31c6fcd7d928dfeadd89eb8c30e4045ae68083be;hp=8ef2315777f7850ef29613378cd81ec3e06d48d2;hpb=897a8e0791171c8cb71e27c31d159a08205e5741;p=openvswitch

diff --git a/INSTALL.Linux b/INSTALL.Linux
index 8ef23157..da992b57 100644
--- a/INSTALL.Linux
+++ b/INSTALL.Linux
@@ -120,7 +120,7 @@ following software:
 You should ensure that /dev/urandom exists.  To support TAP devices,
 you must also ensure that /dev/net/tun exists.
 
-To run the ovsdmonitor tool, the machine must also have the following
+To run the ovsdbmonitor tool, the machine must also have the following
 software:
 
     - Python 2.x, for x >= 4.