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

Reply via email to