diff options
| author | unknown <kent@kent-amd64.(none)> | 2007-11-22 17:53:47 +0100 |
|---|---|---|
| committer | unknown <kent@kent-amd64.(none)> | 2007-11-22 17:53:47 +0100 |
| commit | 560f4d5260e2782673879b5c5ab710b0c03dee2c (patch) | |
| tree | ec19998866facd832b0113146c70f15ddc04438a /configure.in | |
| parent | 028061ea4bd5280105c02e58d85fa2f47fe7b218 (diff) | |
| parent | c6f0c29acbd77a6b12f58775a68701913b3ce094 (diff) | |
| download | mariadb-git-560f4d5260e2782673879b5c5ab710b0c03dee2c.tar.gz | |
Merge mysql.com:/home/kent/bk/docs-cleanup/mysql-5.0-build
into mysql.com:/home/kent/bk/docs-cleanup/mysql-5.1-build
Docs/Makefile.am:
Auto merged
configure.in:
Auto merged
Diffstat (limited to 'configure.in')
| -rw-r--r-- | configure.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure.in b/configure.in index 161a70dae5f..0fa99dc1b00 100644 --- a/configure.in +++ b/configure.in @@ -2379,10 +2379,15 @@ AC_ARG_WITH(docs, if test "$with_docs" = "yes" then docs_dirs="Docs" + if test -f "$srcdir/Docs/manual.chm" ; then + extra_docs="manual.chm" + fi else docs_dirs="" + extra_docs="" fi AC_SUBST(docs_dirs) +AC_SUBST(extra_docs) # Shall we build the man pages? AC_ARG_WITH(man, |