diff options
author | jcole@tetra.bedford.progress.com <> | 2000-09-05 10:46:24 -0500 |
---|---|---|
committer | jcole@tetra.bedford.progress.com <> | 2000-09-05 10:46:24 -0500 |
commit | 522d0b0b6b805fd2b028269deed75917da9f4a54 (patch) | |
tree | 3ce7cd0cab644e7a681f8c6b557a9b2fe9b7b878 /Docs/Makefile.am | |
parent | 166c15a917c2dfa84919768a3340e53f54aa7bc0 (diff) | |
download | mariadb-git-522d0b0b6b805fd2b028269deed75917da9f4a54.tar.gz |
Added target for printed manual pdf for NuSphere.
Diffstat (limited to 'Docs/Makefile.am')
-rw-r--r-- | Docs/Makefile.am | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Docs/Makefile.am b/Docs/Makefile.am index 1b5d77dea77..8f5276b1b22 100644 --- a/Docs/Makefile.am +++ b/Docs/Makefile.am @@ -66,6 +66,16 @@ manual.pdf: manual.texi rm -f manual-tmp.* ; \ touch $@ +# Target to produce NuSphere Manual +print-manual.pdf: manual.texi + cat manual.texi | sed -e 's|@image{[^}]*} *||g' > manual-tmp.texi; \ + pdftex --interaction=nonstopmode '\input manual-tmp.texi'; \ + pdftex --interaction=nonstopmode '\pdfcompresslevel=9' \ + '\input manual-tmp.texi'; \ + mv manual-tmp.pdf $@; \ + rm -f manual-tmp.* ; \ + touch $@ + # The texi2dvi gives a lot of harmless errors. Just ignore them unless # you want to help with the typesetting part. # This is the European papersize version |