Juan RP 56fb2c5ebe git: install by setting DESTDIR, avoids building twice and really works.
--HG--
extra : convert_revision : 6e059d28632712eb79d9207aaf3e94916aaef949
2009-02-25 16:39:15 +01:00
..