summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authorSébastien Hinderer <Sebastien.Hinderer@inria.fr>2017-03-24 15:25:35 +0100
committerSébastien Hinderer <Sebastien.Hinderer@inria.fr>2017-03-29 11:10:06 +0200
commit5f161087ef5524c2acc77911f4b899265837f680 (patch)
tree26747651f175d2ba79eecb229755b850049ca9ba /config
parentf6386a8e7c0c54f31a8eabc227055d16c068b5b4 (diff)
downloadocaml-5f161087ef5524c2acc77911f4b899265837f680.tar.gz
Introduce the LIB_MANEXT build variable
It contains the section for library function manual pages (3). This will be useful to properly install the manual pages generated by ocamldoc for the standard library.
Diffstat (limited to 'config')
-rw-r--r--config/Makefile.mingw1
-rw-r--r--config/Makefile.mingw641
-rw-r--r--config/Makefile.msvc1
-rw-r--r--config/Makefile.msvc641
4 files changed, 4 insertions, 0 deletions
diff --git a/config/Makefile.mingw b/config/Makefile.mingw
index 567db0ac92..dde46afa49 100644
--- a/config/Makefile.mingw
+++ b/config/Makefile.mingw
@@ -66,6 +66,7 @@ OUTPUTOBJ=-o
EXT_LIB=.$(A)
EXT_ASM=.$(S)
MANEXT=1
+LIB_MANEXT=3
HASHBANGSCRIPTS=false
PTHREAD_LINK=
PTHREAD_CAML_LINK=
diff --git a/config/Makefile.mingw64 b/config/Makefile.mingw64
index bedb99cba4..8ae022850d 100644
--- a/config/Makefile.mingw64
+++ b/config/Makefile.mingw64
@@ -66,6 +66,7 @@ OUTPUTOBJ=-o
EXT_LIB=.$(A)
EXT_ASM=.$(S)
MANEXT=1
+LIB_MANEXT=3
HASHBANGSCRIPTS=false
PTHREAD_LINK=
PTHREAD_CAML_LINK=
diff --git a/config/Makefile.msvc b/config/Makefile.msvc
index 7419355867..b5f0733f45 100644
--- a/config/Makefile.msvc
+++ b/config/Makefile.msvc
@@ -61,6 +61,7 @@ OUTPUTOBJ=-Fo
EXT_LIB=.$(A)
EXT_ASM=.$(S)
MANEXT=1
+LIB_MANEXT=3
HASHBANGSCRIPTS=false
PTHREAD_LINK=
PTHREAD_CAML_LINK=
diff --git a/config/Makefile.msvc64 b/config/Makefile.msvc64
index a15d2ff29d..30ce66214c 100644
--- a/config/Makefile.msvc64
+++ b/config/Makefile.msvc64
@@ -61,6 +61,7 @@ OUTPUTOBJ=-Fo
EXT_LIB=.$(A)
EXT_ASM=.$(S)
MANEXT=1
+LIB_MANEXT=3
HASHBANGSCRIPTS=false
PTHREAD_LINK=
PTHREAD_CAML_LINK=