Hello, I have noticed a moment ago that a few additional commits were published. It might be nice to test this development a bit more.
I submitted the command “make distclean” and built the software by the command “./autogen && ./configure && make world” as usual. But I wonder about the message “Nothing to be done for 'docs'”. Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci