Merge PR #12168: [dune] Fix dependencies of refman.

Reviewed-by: ejgallego

1 files changed, 16 insertions, 2 deletions

diff --git a/doc/dune b/doc/dune
index 4210c0a482..8b005f5b2f 100644
--- a/doc/dune
+++ b/doc/dune
@@ -23,7 +23,14 @@
  (targets refman-html)
  (alias refman-html)
  (package coq-doc)
- (deps (alias refman-deps))
+ ; Cannot use this deps alias because of ocaml/dune#3415
+ ; (deps (alias refman-deps))
+ (deps
+  (package coq)
+  (source_tree sphinx)
+  (source_tree tools/coqrst)
+  unreleased.rst
+  (env_var SPHINXWARNOPT))
  (action
   (run env COQLIB=%{project_root} sphinx-build %{env:SPHINXWARNOPT=-W} -b html sphinx %{targets})))
 
@@ -31,7 +38,14 @@
  (targets refman-pdf)
  (alias refman-pdf)
  (package coq-doc)
- (deps (alias refman-deps))
+ ; Cannot use this deps alias because of ocaml/dune#3415
+ ; (deps (alias refman-deps))
+ (deps
+  (package coq)
+  (source_tree sphinx)
+  (source_tree tools/coqrst)
+  unreleased.rst
+  (env_var SPHINXWARNOPT))
  (action
   (progn
    (run env COQLIB=%{project_root} sphinx-build %{env:SPHINXWARNOPT=-W} -b latex sphinx %{targets})