Max Horn <max at quendi.de> writes: [...] > Anyway, I fixed this now, and even changed the code to automatically do the right thing if "--enable-release" is used. Great! Then I only need to decide what to do about the Makefile (which is formally deprecated, but I like to keep around anyway ;). Thanks // Marcus