On Mon, 2003-05-12 at 12:39, Maarten Stolte wrote: > Hi, > > I also needed to change the filenames from .php.dist to .php in some > cases: > > config/horde.php oops..I see the how-to mentions renaming these, but it should be handy to do that upfront before patching... Maarten