From 6d2802075606dcddb02dd13cbaf38ff76f8bf242 Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Thu, 23 Mar 2017 01:13:38 +0100
Subject: Add empty Extraction.v and FunInd.v to prepare landing of PR#220.

This way, after we merge PR#220, scripts can be fixed in a way that is
compatible with the 8.6 and trunk branches.
---
 plugins/extraction/Extraction.v | 0
 plugins/extraction/vo.itarget   | 1 +
 plugins/funind/FunInd.v         | 0
 plugins/funind/vo.itarget       | 1 +
 4 files changed, 2 insertions(+)
 create mode 100644 plugins/extraction/Extraction.v
 create mode 100644 plugins/funind/FunInd.v

(limited to 'plugins')

diff --git a/plugins/extraction/Extraction.v b/plugins/extraction/Extraction.v
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/plugins/extraction/vo.itarget b/plugins/extraction/vo.itarget
index 9c30c5eb3e..3563f71dfc 100644
--- a/plugins/extraction/vo.itarget
+++ b/plugins/extraction/vo.itarget
@@ -1,3 +1,4 @@
+Extraction.vo
 ExtrHaskellBasic.vo
 ExtrHaskellNatNum.vo
 ExtrHaskellNatInt.vo
diff --git a/plugins/funind/FunInd.v b/plugins/funind/FunInd.v
new file mode 100644
index 0000000000..e69de29bb2
diff --git a/plugins/funind/vo.itarget b/plugins/funind/vo.itarget
index 33c9683028..a17a5ec122 100644
--- a/plugins/funind/vo.itarget
+++ b/plugins/funind/vo.itarget
@@ -1 +1,2 @@
+FunInd.vo
 Recdef.vo
-- 
cgit v1.2.3