coq/doc/sphinx/dune, branch master The formal proof system Fix version switcher when building with Dune. 2020-06-05T11:36:58+00:00 Théo Zimmermann 2020-06-05T11:05:08+00:00 4f4ad5678db3e7aaf42f14d6d2d9000550c5f826 Closes #12395. 
Closes #12395.
[dune] Update to dune language version 2.0 2019-12-04T13:14:58+00:00 Emilio Jesus Gallego Arias 2019-11-24T18:57:02+00:00 1d454c7721a429490165d1147313c061164b0b66 This is the minimal set of changes requires for Coq to build under 2.0 mode. We may likely take advantage of some more new features. Note that Dune 2.0 requires OCaml >= 4.06.0, OPAM allows to use Dune in older versions as it will install a secondary compiler. 
This is the minimal set of changes requires for Coq to build under 2.0
mode. We may likely take advantage of some more new features.

Note that Dune 2.0 requires OCaml >= 4.06.0, OPAM allows to use Dune
in older versions as it will install a secondary compiler.
Add diff rule for README.rst to dune refman-html alias 2019-02-18T13:43:36+00:00 Gaëtan Gilbert 2019-02-13T12:22:24+00:00 0a465063a5501d9a84088fff8b1c8a62f63feec3 We change regen_readme such that when given an argument it outputs there instead of overwriting the readme. Prompted by me noticing I forgot to regen in #9553. 
We change regen_readme such that when given an argument it outputs
there instead of overwriting the readme.

Prompted by me noticing I forgot to regen in #9553.
[dune] [doc] Support for building the reference manual with Dune. 2018-12-13T14:40:38+00:00 Emilio Jesus Gallego Arias 2018-09-19T00:50:29+00:00 ddb3fae72826c0da3ba449be4ebc72e44c1ace16 This is a reduced version of #8503 as to provide a way to build the reference manual with Dune. Dune 1.6 supports (experimentally) directories as targets, thus we introduce a rule that will call `sphinx` to build the manual. This only provides build, however generation of `.install` rules is not done, it will be hopefully addressed in #8503. Note that we set `expire: 1 month` for all the artifacts we build with Dune. IMHO this makes most sense as not to abuse Gitlab's hosting, however of course we could consider a different deployment strategy if wanted. 
This is a reduced version of #8503 as to provide a way to build the
reference manual with Dune.

Dune 1.6 supports (experimentally) directories as targets, thus we
introduce a rule that will call `sphinx` to build the manual.

This only provides build, however generation of `.install` rules is
not done, it will be hopefully addressed in #8503.

Note that we set `expire: 1 month` for all the artifacts we build with
Dune. IMHO this makes most sense as not to abuse Gitlab's hosting,
however of course we could consider a different deployment strategy if
wanted.