Desired Behavior

Currently, the env stanza allows specifying coqc option with (coq (flags <flags>)) for multiple theory at once. It would be nice to also be able to do that for coqdoc. Currently, one has to specify coqdoc option in each an every coq.theory stanza with codoc_flags.

This would allow project wide coqdoc option such as --utf8 or --external (at least until #7912 is fully solved)

Example

I suggest allowing (coq (coqdoc_flags <flags>)) to possible <settings> in the env stanza. Ideally combined with the regular coq stanza like:

(env
  (_ 
    (coq
      (flags <coq_flags>)
      (coqdoc_flags <coqdoc_flags>))))