From 7ab54d9135d4a4604bcb11dabd38842d746d5472 Mon Sep 17 00:00:00 2001
From: Pierre Boutillier
Date: Sun, 11 Jan 2015 18:44:35 +0100
Subject: Derive -> derive occurences

---
 plugins/pluginsbyte.itarget | 2 +-
 plugins/pluginsdyn.itarget  | 2 +-
 plugins/pluginsopt.itarget  | 2 +-
 plugins/pluginsvo.itarget   | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'plugins')

diff --git a/plugins/pluginsbyte.itarget b/plugins/pluginsbyte.itarget
index e884554e4e..d8752f8b80 100644
--- a/plugins/pluginsbyte.itarget
+++ b/plugins/pluginsbyte.itarget
@@ -18,4 +18,4 @@ syntax/r_syntax_plugin.cma
 syntax/string_syntax_plugin.cma
 syntax/z_syntax_plugin.cma
 quote/quote_plugin.cma
-Derive/derive_plugin.cma
\ No newline at end of file
+derive/derive_plugin.cma
\ No newline at end of file
diff --git a/plugins/pluginsdyn.itarget b/plugins/pluginsdyn.itarget
index a2517d82b0..220e5182d9 100644
--- a/plugins/pluginsdyn.itarget
+++ b/plugins/pluginsdyn.itarget
@@ -21,4 +21,4 @@ syntax/r_syntax_plugin.cmxs
 syntax/string_syntax_plugin.cmxs
 syntax/z_syntax_plugin.cmxs
 quote/quote_plugin.cmxs
-Derive/derive_plugin.cmxs
+derive/derive_plugin.cmxs
diff --git a/plugins/pluginsopt.itarget b/plugins/pluginsopt.itarget
index e44d7c1496..04a1e711cb 100644
--- a/plugins/pluginsopt.itarget
+++ b/plugins/pluginsopt.itarget
@@ -18,4 +18,4 @@ syntax/r_syntax_plugin.cmxa
 syntax/string_syntax_plugin.cmxa
 syntax/z_syntax_plugin.cmxa
 quote/quote_plugin.cmxa
-Derive/derive_plugin.cmxa
+derive/derive_plugin.cmxa
diff --git a/plugins/pluginsvo.itarget b/plugins/pluginsvo.itarget
index 0a9e468ecb..a59bf29c98 100644
--- a/plugins/pluginsvo.itarget
+++ b/plugins/pluginsvo.itarget
@@ -9,4 +9,4 @@ romega/vo.otarget
 rtauto/vo.otarget
 setoid_ring/vo.otarget
 extraction/vo.otarget
-Derive/vo.otarget
\ No newline at end of file
+derive/vo.otarget
\ No newline at end of file
-- 
cgit v1.2.3