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

(limited to 'topbin')

diff --git a/topbin/dune b/topbin/dune
index 5f07492a10..52f472d149 100644
--- a/topbin/dune
+++ b/topbin/dune
@@ -1,5 +1,6 @@
 (install
  (section bin)
+ (package coq)
  (files (coqtop_bin.exe as coqtop)))
 
 (executable
-- 
cgit v1.2.3