On Wed, 05 Nov 2008 14:29:15 +0100 Julien Boibessot <julien.boibessot at free.fr> wrote: > Hi, > > this trivial patch makes that PrBoom is not installed everytime we do > a "make", but only once. > Thanks, committed in rev 23939. -- Best regards, Hans-Christian Egtvedt