K 10
svn:author
V 6
rakuco
K 8
svn:date
V 27
2014-11-20T20:25:02.121966Z
K 7
svn:log
V 616
Stop installing libplatformplugin.so.

That is an example plugin that is not supposed to be built and installed by
default. Its sole purpose is to be an example of how to write a plugin, and
it does so by making <select> elements show up in a separate dialog. We
definitely do not want that. As a bonus, it allows us to remove some of the
hacks we do in the pre-configure target.

While here:
- Improve the comment about why we change ALL_TARGET.
- Remove the weird CONFIGURE_ENV change we did that does not seem to be
  necessary anymore. I could not find any explanation for why it was added
  in the first place.

END