diff --git a/org.rodinp.handbook.feature/README.txt b/org.rodinp.handbook.feature/README.txt index 7de68be8d55e5f42885b1a47bd8d71983abeed55..a1b913636463454cb5449a780cd8638ff1553259 100644 --- a/org.rodinp.handbook.feature/README.txt +++ b/org.rodinp.handbook.feature/README.txt @@ -53,9 +53,11 @@ after building the update site project. 2. Goto the org.rodinp.handbook.updatesite plugin and open the site.xml file. -3. Click on the "Build all" button in order to build the update site. +3. Synchronize all features. -4. Deploy the files ... i.e. http://handbook.event-b.org/updatesite +4. Click on the "Build all" button in order to build the update site. + +5. Deploy the files ... i.e. http://handbook.event-b.org/updatesite CONTACT =======