From a428f79ca9ddacb4650c4a6bda7aa231e11d92ae Mon Sep 17 00:00:00 2001
From: pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Sun, 18 Dec 2011 22:50:06 +0000
Subject: ./configure & freedesktop

1/ man dir is now prefix/share/man and not prefix/man git diff!
2/ a data dir option for coqide extra data.
3/ typo

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14821 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 config/Makefile.template | 1 +
 config/coq_config.mli    | 1 +
 2 files changed, 2 insertions(+)

(limited to 'config')

diff --git a/config/Makefile.template b/config/Makefile.template
index 11bc3ee7e..91b12cb4f 100644
--- a/config/Makefile.template
+++ b/config/Makefile.template
@@ -35,6 +35,7 @@ BUILDLDPATH=
 BINDIR="BINDIRDIRECTORY"
 COQLIBINSTALL="COQLIBDIRECTORY"
 CONFIGDIR="CONFIGDIRDIRECTORY"
+DATADIR="DATADIRDIRECTORY"
 MANDIR="MANDIRDIRECTORY"
 DOCDIR="DOCDIRDIRECTORY"
 EMACSLIB="EMACSLIBDIRECTORY"
diff --git a/config/coq_config.mli b/config/coq_config.mli
index 1fd361cc8..354460728 100644
--- a/config/coq_config.mli
+++ b/config/coq_config.mli
@@ -10,6 +10,7 @@ val local : bool        (* local use (no installation) *)
 
 val coqlib : string option (* where the std library is installed *)
 val configdir : string option (* where configuration files are installed *)
+val datadir : string option (* where extra data files are installed *)
 val docdir : string     (* where the doc is installed *)
 
 val ocaml : string      (* names of ocaml binaries *)
-- 
cgit v1.2.3