Minor changes for PlanetLab V3

[mom.git] / README.txt

diff --git a/README.txt b/README.txt
index 579d948..cf11831 100644 (file)
--- a/README.txt
+++ b/README.txt
@@ -29,7 +29,7 @@ if there are thousands of processes on the machine).
 Building
 ---------
 
-Rename the parent directory from pl_mom to pl_dod-0.2 (or whatever is
+Rename the parent directory from pl_mom to pl_mom-0.2 (or whatever is
 the appropriate version number listed in the Makefile).  Then "make
 rpm" should do it.
 
@@ -37,9 +37,3 @@ rpm" should do it.
 Notes
 ------
 
-The name of the daemon is "pl_mom" but the package name is pl_dod.
-The reason is that the daemon and package were both originally called
-pl_dod.  Yum (the package management tool currently in use) does
-not seem to honor the "Obsoletes:" tag in the .spec file.  Therefore
-it was not possible to automatically update the old pl_dod package
-with a new one called pl_mom, and so the package kept the old name.