From 3d40b663fbefecbeb5b23dd9656c5342269c284a Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 31 Mar 2021 19:00:20 +0200
Subject: [dune] [coqdoc] Install coqdoc.sty also in share/texmf

---
 tools/coqdoc/dune | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'tools')

diff --git a/tools/coqdoc/dune b/tools/coqdoc/dune
index cc888a959f..432d88b2ff 100644
--- a/tools/coqdoc/dune
+++ b/tools/coqdoc/dune
@@ -5,6 +5,13 @@
   (coqdoc.css as tools/coqdoc/coqdoc.css)
   (coqdoc.sty as tools/coqdoc/coqdoc.sty)))
 
+; File needs to be here too.
+(install
+ (section share)
+ (package coq-core)
+ (files
+  (coqdoc.sty as texmf/tex/latex/misc/coqdoc.sty)))
+
 (executable
  (name main)
  (public_name coqdoc)
-- 
cgit v1.2.3