> find below something that adds the mentioned options and also tweaks > the make system a bit [...]
Excellent, thanks a lot! To be able to apply this to the repository,
I need a copyright disclaimer (sent privately). As soon as I get a
confirmation from the FSF clerk, I will have a more detailed look
while integrating it.
Werner
