[dev] themes files

[Chuck Hagenbuch]

Quoting Ronnie Garcia <ronnie@mk2.net>:

>  I was thinking that it would make more sense to rename all the
> themes/html-*.php.dist files to themes/html-*.php since they shouldn't
> be modified by anyone.

[snip]

>  Moreover, it isnt clear that you have to rename them yourself in that
> directory before you can use themes (at installation time i mean).

Agreed. I've renamed them directly in the cvs repository; updating will 
get you the change.

-chuck

--
Charles Hagenbuch, <chuck@horde.org>
"A dream which helps you to live your reality with dignity
 and justice is a good dream." - Tariq Ramadan