> I suggest to improve the case distinction for the make (and environment)
> variable “COCCI” also by adjusting the document outline.
> * Empty string
> * Directory selection
> * File name specification
>
> See also:
> https://docutils.readthedocs.io/en/sphinx-docs/user/rst/quickstart.html#sections
* Defalut value
* Directory selection
* Single file selection
Would it be better?
thanks,
Zhong.shiqi
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
