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`.
---
 grammar/dune | 1 +
 1 file changed, 1 insertion(+)

(limited to 'grammar')

diff --git a/grammar/dune b/grammar/dune
index 90847e7fb6..f03fe07607 100644
--- a/grammar/dune
+++ b/grammar/dune
@@ -18,6 +18,7 @@
 
 (install
  (section bin)
+ (package coq)
  (files coqp5 coqmlp5))
 
 (rule
-- 
cgit v1.2.3