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 /Docs/Makefile.am | |
| 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
Diffstat (limited to 'Docs/Makefile.am')
| -rw-r--r-- | Docs/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
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 |