[...]
So you can now say --disable-ppl_lcdd and --disable-ppl_lpsol.
All the best,
Oh, thanks for the notice! I had actually discovered them already by doing a
configure --help; I was pretty damn sure that you had fixed that one as well :-)
Best,
Michael
