[coqlib] Remove `-boot` option for setting the coqlib

Instead, if the coqlib is special, we set it explicitly in the command
line, as Dune does.

This is a continuation of #9523.

In Sphinx, we stop using -boot, and pass `-coqlib` through the
environment instead.

Co-authored-by: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>

1 files changed, 1 insertions, 1 deletions

diff --git a/doc/dune b/doc/dune
index 6372fe4a91..bd40104725 100644
--- a/doc/dune
+++ b/doc/dune
@@ -13,7 +13,7 @@
   (source_tree tools)
   (env_var SPHINXWARNOPT))
  (action
-  (run sphinx-build -j4 %{env:SPHINXWARNOPT=-W} -b html -d sphinx_build/doctrees sphinx sphinx_build/html)))
+  (run env COQLIB=%{project_root} sphinx-build -j4 %{env:SPHINXWARNOPT=-W} -b html -d sphinx_build/doctrees sphinx sphinx_build/html)))
 
 (alias
  (name refman-html)