diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/envars.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/envars.ml b/lib/envars.ml index dc71cb4330..e5c938037b 100644 --- a/lib/envars.ml +++ b/lib/envars.ml @@ -64,7 +64,8 @@ let xdg_config_home = let xdg_data_dirs = try List.map (fun dir -> Filename.concat dir "coq") (path_to_list (Sys.getenv "XDG_DATA_DIRS")) - with Not_found -> [ "/usr/local/share/coq"; "/usr/share/coq" ] + with Not_found -> "/usr/local/share/coq" :: "/usr/share/coq" + :: (match Coq_config.datadir with |None -> [] |Some datadir -> [datadir]) let xdg_dirs = let dirs = xdg_data_home :: xdg_data_dirs |