From 537c8f2c38d5e3751adcc402e70010c1e7e9e9bd Mon Sep 17 00:00:00 2001
From: Lasse Blaauwbroek
Date: Wed, 16 Dec 2020 09:14:02 +0100
Subject: Add build dependency of conf-ptyon-3 to coq-doc

---
 coq-doc.opam | 1 +
 dune-project | 1 +
 2 files changed, 2 insertions(+)

diff --git a/coq-doc.opam b/coq-doc.opam
index 3a872db33d..9b0d562c45 100644
--- a/coq-doc.opam
+++ b/coq-doc.opam
@@ -17,6 +17,7 @@ doc: "https://coq.github.io/doc/"
 bug-reports: "https://github.com/coq/coq/issues"
 depends: [
   "dune" {build & >= "2.5.0"}
+  "conf-python-3" {build}
   "coq" {build & = version}
 ]
 build: [
diff --git a/dune-project b/dune-project
index 1187c58449..4cb9c13bde 100644
--- a/dune-project
+++ b/dune-project
@@ -75,6 +75,7 @@ development of interactive proofs."))
  (license "OPL-1.0")
  (depends
   (dune (and :build (>= 2.5.0)))
+  (conf-python-3 :build)
   (coq (and :build (= :version))))
  (synopsis "The Coq Proof Assistant --- Reference Manual")
  (description "Coq is a formal proof management system. It provides
-- 
cgit v1.2.3