File "doc/dune", line 23, characters 0-489:
23 | (rule
24 |  (targets refman-html)
25 |  (alias refman-html)
....
37 |   (env_var SPHINXWARNOPT))
38 |  (action
39 |   (run env sphinx-build -q %{env:SPHINXWARNOPT=-W} -b html sphinx %{targets})))
Command [5] exited with code 2:
$ (cd _build/default/doc && /usr/bin/env sphinx-build -q -W -b html sphinx refman-html)

Exception occurred:
  File "/usr/local/lib/python3.10/dist-packages/antlr4/atn/ATNDeserializer.py", line 50, in checkVersion
    raise Exception("Could not deserialize ATN with version " + str(version) + " (expected " + str(SERIALIZED_VERSION) + ").")
Exception: Could not deserialize ATN with version  (expected 4).
The full traceback has been saved in /tmp/build_6b49f3_dune/sphinx-err-6hfr4qnz.log, if you want to report the issue to the developers.
Please also report this if it was a user error, so that a better error message can be provided next time.
A bug report can be filed in the tracker at <https://github.com/sphinx-doc/sphinx/issues>. Thanks!
Running[9]: (cd _build/default/doc/stdlib && /usr/bin/mv html/index.html html/genindex.html)
Running[10]: (cd _build/default/doc/stdlib && /usr/bin/cp _index.html html/index.html)
File "doc/stdlib/dune", line 43, characters 9-13:
43 |  (files (html as html/stdlib))
              ^^^^
Error: Error trying to read targets after a rule was run:
- default/doc/coq-doc/html/stdlib: Unexpected file kind "S_DIR" (directory)