I am trying to use dune with my coq project. As it is quite simple, the options already available are enough for me right now.
However, I am now trying to compile my documentation, and I run into a problem:
I can write a rule to run coqdoc on my .v files, but the coq.theories stanza has no flag (or other way) to keep the .glob files necessary.

As this seems like an easy fix, could you implement it before trying to achieve "1.0 for Coq support"?

If this would lead to too much trouble regarding forward compatibility, is there a simple translation for the coq.theories stanza into a rule stanza (I only use the name attribute) so that I can fix my problem at least?