From 503fa442869978a9e19e738be990ea8c7534962e Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sun, 7 Oct 2018 07:01:05 +0200
Subject: [camlp5] Automatic conversion from revised syntax + parsers

`for i in *; do camlp5r pr_o.cmo $i > ../gramlib.auto/$i; done`
---
 gramlib/dune | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 gramlib/dune

(limited to 'gramlib/dune')

diff --git a/gramlib/dune b/gramlib/dune
new file mode 100644
index 0000000000..f7605fa9f3
--- /dev/null
+++ b/gramlib/dune
@@ -0,0 +1,4 @@
+(library
+ (name gramlib)
+ (public_name coq.gramlib)
+ (wrapped false))
-- 
cgit v1.2.3