Regarding your commit: Add all the available themes to the list

[Tommy]

On Sat, 05 May 2012 11:42:36 +0200, Tomáš Chvátal  
<tomas.chvatal at gmail.com> wrote:

>
> I know they are killed themes, but they does not break build and if
> user specify them it is pretty easy to adjust the code to actually
> load them if they want to waste their time on it.
>
> I would rather see the configure option for them disappear with
> disappearance of the folder itself.
>
> As I said in the former message, the possibility not to build classic
> and industrial was introduced few months ago by my commit and it was
> completely accidental (i slipped to check for those two dirs).

so finally I know who is to blame for this:
https://bugs.freedesktop.org/show_bug.cgi?id=38175

just kidding :-)

> So I just consider this actual bugfix restoring the former state
> Anyway if you think that those two should not be built just sent the
> patch to the ml, and I think the dirs should be removed too if they
> are not used and built anwyay, we can restore them from git if anyone
> needs them.
>
as you see in previous bug page it's possible to manually enable those  
missing themes