From dc916f4d475f1661e72ce43a26320c268fcf034c Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 3 Oct 2018 20:51:05 +0200
Subject: [dune] Add `(package coq)` scope to artifacts.

This will allow us to define extra packages such as `coq-refman`.
---
 tools/coqdoc/dune | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'tools/coqdoc')

diff --git a/tools/coqdoc/dune b/tools/coqdoc/dune
index b20d9f9b2e..9c0a6ccffe 100644
--- a/tools/coqdoc/dune
+++ b/tools/coqdoc/dune
@@ -1,5 +1,6 @@
 (install
  (section lib)
+ (package coq)
  (files
   (coqdoc.css as tools/coqdoc/coqdoc.css)
   (coqdoc.sty as tools/coqdoc/coqdoc.sty)))
@@ -7,6 +8,7 @@
 (executable
  (name main)
  (public_name coqdoc)
+ (package coq)
  (libraries str coq.config))
 
 (ocamllex cpretty)
-- 
cgit v1.2.3