From 311e87f261b5e7f1dca61ac19d9b7b695b411ce0 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sun, 20 May 2018 22:23:02 +0200
Subject: [api] [parsing] Move Egram* to `vernac/`

The extension mechanism is specific to metasyntax and vernacinterp,
thus it makes sense to place them next to each other.

We also fix the META entry for the `grammar` camlp5 plugin.
---
 META.coq | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

(limited to 'META.coq')

diff --git a/META.coq b/META.coq
index 8d4c3d5f00..cdc088e747 100644
--- a/META.coq
+++ b/META.coq
@@ -6,6 +6,18 @@ version = "8.8"
 directory = ""
 requires = "camlp5"
 
+package "grammar" (
+
+  description = "Coq Camlp5 Grammar Extensions for Plugins"
+  version     = "8.8"
+
+  requires    = "camlp5.gramlib"
+  directory   = "grammar"
+
+  archive(byte)   = "grammar.cma"
+  archive(native) = "grammar.cmxa"
+)
+
 package "config" (
 
   description = "Coq Configuration Variables"
@@ -126,18 +138,6 @@ package "interp" (
 
 )
 
-package "grammar" (
-
-  description = "Coq Camlp5 Grammar Extensions for Plugins"
-  version     = "8.8"
-
-  requires    = "camlp5.gramlib"
-  directory   = "grammar"
-
-  archive(byte)   = "grammar.cma"
-  archive(native) = "grammar.cmxa"
-)
-
 package "proofs" (
 
   description = "Coq Proof Engine"
-- 
cgit v1.2.3