Erik Martin-Dorel

BTW, apart from the issue for old releases I was talking about, the dev version of `coq-serapi` is also impacted, cf. e.g. this line: https://github.com/ejgallego/coq-serapi/blob/380586b0021c08c6e0dddb02e4210d7c0ec6789b/sertop/sertop_bin.ml#L84

@ejgallego > I'll update the branches here when I get a minute. BTW to ease this coq-serapi refactoring, feel free to draw some inspiration from the diff of PR https://github.com/ocaml-sf/learn-ocaml/pull/480,...

Closing the issue which is [solved now](https://gitlab.com/coq-community/docker-coq/-/pipelines/511472230).

Ah indeed I see what you mean, sorry @ejgallego So just to sum up, it seems there's some choice between: 1. either require `"cmdliner" {>= "1.1.0"}` (and replace the deprecated...

Hello @dooblem, I also experienced this kind of issue, not with `firefox.d` but with the `.bash_history` file, probably because I was using another terminal during the sync... See below for...

Here is a screenshot of what we can expect: 

On second thought, it seems with this current PR version, the user would need to write a `./docutils.conf` with: ``` [html5 writer] section_self_link: yes ``` @cpitclaudel What source file should...

Hi @cpitclaudel > Do we really want to change the default to html5? IMHO, I'd vote for it. Indeed: * Nowadays, HTML5 is definitely the recommended DOCTYPE by the main...

@cpitclaudel friendly ping :) WDYT?

Hi @cpitclaudel, thanks for your reply, indeed that works! But don't you think there is a bug when we don't put the `.. coq::` line manually? because in this case,...