From f0cb72dded093175feab3f19aac63fab46999e0a Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Fri, 9 Nov 2018 18:27:20 +0100
Subject: [dune] [ide] Install data files.

We should install the files in `share/coqide` instead of the current
`coq` location; but we defer this change until we are more advanced in
the make-phase out.

Fixes: #8953
---
 ide/dune | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/ide/dune b/ide/dune
index aeb5424aff..5e3886624c 100644
--- a/ide/dune
+++ b/ide/dune
@@ -43,3 +43,14 @@
  (package coqide)
  (modules coqide_main)
  (libraries coqide.gui))
+
+; FIXME: we should install those in share/coqide. We better do this
+; once the make-based system has been phased out.
+(install
+ (section share_root)
+ (package coqide)
+ (files
+  (coq.png as coq/coq.png)
+  (coq_style.xml as coq/coq_style.xml)
+  (coq.lang as coq/coq.lang)
+  (coq-ssreflect.lang as coq/coq-ssreflect.lang)))
-- 
cgit v1.2.3