Merge PR#356: Making management of installation directories more structured, more uniform

1 files changed, 9 insertions, 4 deletions

diff --git a/lib/envars.mli b/lib/envars.mli
index b164e789d2..c8bbf17d96 100644
--- a/lib/envars.mli
+++ b/lib/envars.mli
@@ -27,12 +27,18 @@ val home : warn:(string -> unit) -> string
 (** [coqlib] is the path to the Coq library. *)
 val coqlib : unit -> string
 
+(** [docdir] is the path to the installed documentation. *)
+val docdir : unit -> string
+
+(** [datadir] is the path to the installed data directory. *)
+val datadir : unit -> string
+
+(** [configdir] is the path to the installed config directory. *)
+val configdir : unit -> string
+
 (** [set_coqlib] must be runned once before any access to [coqlib] *)
 val set_coqlib : fail:(string -> string) -> unit
 
-(** [docdir] is the path to the Coq documentation. *)
-val docdir : unit -> string
-
 (** [coqbin] is the name of the current executable. *)
 val coqbin : string
 
@@ -66,7 +72,6 @@ val camlp4 : unit -> string
 *)
 val xdg_config_home : (string -> unit) -> string
 val xdg_data_home   : (string -> unit) -> string
-val xdg_config_dirs : (string -> unit) -> string list
 val xdg_data_dirs   : (string -> unit) -> string list
 val xdg_dirs : warn : (string -> unit) -> string list