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

(limited to 'coqpp')

diff --git a/coqpp/dune b/coqpp/dune
index 24b9b9184b..a6edf4cf5b 100644
--- a/coqpp/dune
+++ b/coqpp/dune
@@ -4,5 +4,6 @@
 (executable
  (name coqpp_main)
  (public_name coqpp)
+ (package coq)
  (modules coqpp_ast coqpp_lex coqpp_parse coqpp_main)
  (modules_without_implementation coqpp_ast))
-- 
cgit v1.2.3