Possible warning that work with the -w option are undocumented

[paldepind]

It appears that the warnings that one can set with the -w option are undocumented.

It would be nice if these where mentioned somewhere in the documentation along with an explanation of what they do.

[herbelin]

Somehow related to #439.

[Zimmi48]

Yes, this is indeed something that we are aware is missing.

The steps to resolve this would be:

• sphinx doc for warnings should support structured specification of name and category  #8125: make it possible to specify the name and category of a warning in a structured way (that would be reflected in the warning index). This is a relatively easy change to make for someone who understands Python and wants to try their hand at modifying coqrst. It would permit to manually list the existing names and categories.
• to have a complete list though, we would need to resolve Towards a better (systematic and automatized) index of error/warning messages in the reference manual? #7373, at least for warnings. A beginning of an attempt is available at [warnings] [doc] Preliminary support for dumping known warnings #11901.

Note also the related #12347 that would constrain the list of categories. It was blocked for not being ambitious enough 😆 but I should probably rebase it, get it merged, and this would at least allow providing an exhaustive list of the warning categories in the doc.