From da5ac9169d0c65ff389104dfd983311b85e059e2 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 5 Jan 2017 17:03:37 +0100
Subject: CoqProject_file: document in API deprecated features

---
 lib/coqProject_file.ml4 | 5 +++--
 lib/coqProject_file.mli | 7 +++++--
 2 files changed, 8 insertions(+), 4 deletions(-)

(limited to 'lib')

diff --git a/lib/coqProject_file.ml4 b/lib/coqProject_file.ml4
index 9327f173e8..64076d6049 100644
--- a/lib/coqProject_file.ml4
+++ b/lib/coqProject_file.ml4
@@ -19,13 +19,14 @@ type project = {
   mllib_files : string list;
   mlpack_files : string list;
 
-  extra_targets : extra_target list;
-  subdirs : string list;
   ml_includes : path list;
   r_includes  : (path * logic_path) list;
   q_includes  : (path * logic_path) list;
   extra_args : string list;
   defs : (string * string) list;
+  
+  extra_targets : extra_target list;
+  subdirs : string list;
 }
 and extra_target = {
   target : string;
diff --git a/lib/coqProject_file.mli b/lib/coqProject_file.mli
index 2bcf658fcf..8c8fc068a3 100644
--- a/lib/coqProject_file.mli
+++ b/lib/coqProject_file.mli
@@ -21,13 +21,16 @@ type project = {
   mllib_files : string list;
   mlpack_files : string list;
 
-  extra_targets : extra_target list;
-  subdirs : string list;
   ml_includes : path list;
   r_includes  : (path * logic_path) list;
   q_includes  : (path * logic_path) list;
   extra_args : string list;
   defs : (string * string) list;
+
+  (* deprecated in favor of a Makefile.local using :: rules *)
+  extra_targets : extra_target list;
+  subdirs : string list;
+
 }
 and extra_target = {
   target : string;
-- 
cgit v1.2.3