diff options
| author | Emilio Jesus Gallego Arias | 2019-02-25 09:27:58 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-02-26 21:49:13 +0100 |
| commit | 07ce2588740f689fe92a8d00dd1aeccda5255130 (patch) | |
| tree | 234671fa7f181f9d4f8205a6de1da3ca3c35e83a /vernac/comProgramFixpoint.ml | |
| parent | 9d6f268723b6352a97bcc3baf0df57f1c1b251fa (diff) | |
[dune] Simple rule to generate Stdlib's documentation.
Ideally this will be handled by Dune's native library support, but
this could be useful for the likes of #9648.
I am not sure what should be done w.r.t. style files.
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions