mirror of
https://github.com/MariaDB/server.git
synced 2025-01-17 20:42:30 +01:00
added --without-man option similar to --without-docs
(part of BUG#5379)
This commit is contained in:
parent
42b063c3b4
commit
5c8eb70667
2 changed files with 16 additions and 1 deletions
|
@ -22,7 +22,7 @@ AUTOMAKE_OPTIONS = foreign
|
||||||
EXTRA_DIST = INSTALL-SOURCE README COPYING EXCEPTIONS-CLIENT
|
EXTRA_DIST = INSTALL-SOURCE README COPYING EXCEPTIONS-CLIENT
|
||||||
SUBDIRS = . include @docs_dirs@ @readline_dir@ \
|
SUBDIRS = . include @docs_dirs@ @readline_dir@ \
|
||||||
@thread_dirs@ pstack @sql_client_dirs@ \
|
@thread_dirs@ pstack @sql_client_dirs@ \
|
||||||
@sql_server_dirs@ scripts man tests \
|
@sql_server_dirs@ scripts @man_dirs@ tests \
|
||||||
BUILD netware os2 @libmysqld_dirs@ \
|
BUILD netware os2 @libmysqld_dirs@ \
|
||||||
@bench_dirs@ support-files @fs_dirs@ @tools_dirs@
|
@bench_dirs@ support-files @fs_dirs@ @tools_dirs@
|
||||||
|
|
||||||
|
|
15
configure.in
15
configure.in
|
@ -2181,6 +2181,21 @@ else
|
||||||
fi
|
fi
|
||||||
AC_SUBST(docs_dirs)
|
AC_SUBST(docs_dirs)
|
||||||
|
|
||||||
|
# Shall we build the man pages?
|
||||||
|
AC_ARG_WITH(man,
|
||||||
|
[ --without-man Skip building of the man pages.],
|
||||||
|
[with_man=$withval],
|
||||||
|
[with_man=yes]
|
||||||
|
)
|
||||||
|
|
||||||
|
if test "$with_man" = "yes"
|
||||||
|
then
|
||||||
|
man_dirs="man"
|
||||||
|
else
|
||||||
|
man_dirs=""
|
||||||
|
fi
|
||||||
|
AC_SUBST(man_dirs)
|
||||||
|
|
||||||
# Shall we build the bench code?
|
# Shall we build the bench code?
|
||||||
AC_ARG_WITH(bench,
|
AC_ARG_WITH(bench,
|
||||||
[ --without-bench Skip building of the benchmark suite.],
|
[ --without-bench Skip building of the benchmark suite.],
|
||||||
|
|
Loading…
Reference in a new issue