diff options
| author | serg@serg.mysql.com <> | 2000-10-04 19:07:59 +0200 |
|---|---|---|
| committer | serg@serg.mysql.com <> | 2000-10-04 19:07:59 +0200 |
| commit | c11eb85a6f3f54bf489d00a4f1eea8740a17ad4f (patch) | |
| tree | 74ae6eea14227327c2aaa0c877d1a0274ba74306 | |
| parent | 054d7c9abfc965f9fd8dbc45fc424d46b74c9ff9 (diff) | |
| download | mariadb-git-c11eb85a6f3f54bf489d00a4f1eea8740a17ad4f.tar.gz | |
configure.in Add check for pdftex
Docs/Makefile.am Do not compile manual.pdf if pdftex not present
| -rw-r--r-- | BitKeeper/etc/logging_ok | 1 | ||||
| -rw-r--r-- | Docs/Makefile.am | 2 | ||||
| -rw-r--r-- | configure.in | 1 |
3 files changed, 3 insertions, 1 deletions
diff --git a/BitKeeper/etc/logging_ok b/BitKeeper/etc/logging_ok index 4004210c803..0349e97892c 100644 --- a/BitKeeper/etc/logging_ok +++ b/BitKeeper/etc/logging_ok @@ -23,3 +23,4 @@ tim@work.mysql.com tonu@work.mysql.com spurr@nslinux.bedford.progress.com tim@threads.polyesthetic.msg +serg@serg.mysql.com diff --git a/Docs/Makefile.am b/Docs/Makefile.am index 090467e47cb..0fe0ab3a56d 100644 --- a/Docs/Makefile.am +++ b/Docs/Makefile.am @@ -18,7 +18,7 @@ noinst_SCRIPTS = Support/texi2html Support/generate-text-files.pl \ Support/generate-mirror-listing.pl info_TEXINFOS = manual.texi -targets = manual.txt mysql.info manual.html manual.pdf +targets = manual.txt mysql.info manual.html $(PDFMANUAL) BUILT_SOURCES = $(targets) manual_toc.html include.texi EXTRA_DIST = $(noinst_SCRIPTS) $(BUILT_SOURCES) mysqld_error.txt INSTALL-BINARY diff --git a/configure.in b/configure.in index 394b4f83a89..e8a112b8d6d 100644 --- a/configure.in +++ b/configure.in @@ -123,6 +123,7 @@ AM_PROG_LIBTOOL AC_PROG_INSTALL # Not critical since the generated file is distributed AC_PROG_YACC +AC_CHECK_PROG(PDFMANUAL, pdftex, manual.pdf) AC_MSG_CHECKING("return type of sprintf") |