File has changed and is updated automatically now.

horde · Nov 3, 2014 · 81035e4 · 81035e4
1 parent b8be413
commit 81035e4
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/horde/docs/RELEASE b/horde/docs/RELEASE
@@ -45,7 +45,8 @@ The steps to use when cutting a new release
 
 7. Update the web site (``horde-web`` Git repository):
 
-   - Edit ``config/versions.php`` to update the version information.
+   - Push changes to ``config/versions.sqlite`` to update the version
+     information.
 
 8. Add new version to bugs.horde.org if not added automatically by the release
    script.