From 172c1c825061d450609468dd9c53974bfdb7d0cd Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Fri, 24 Apr 2020 14:39:22 +0200
Subject: [dune] Fix dependencies of refman.

Dependencies specified through an alias do not trigger a rebuild when
they are modified.  This is likely a Dune bug, but we still need to
fix this on our side as this is inconvenient.
---
 doc/dune | 18 ++++++++++++++++--
 1 file changed, 16 insertions(+), 2 deletions(-)

(limited to 'doc')

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})
-- 
cgit v1.2.3