joerg 1b32ea62ee Fix some issues where DESTDIR ended up included twice...		2010-02-11 13:44:02 +00:00
..
patch-aa
patch-ab
patch-ac
patch-ad
patch-ag
patch-ah