mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-16 12:02:42 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Added target for printed manual pdf for NuSphere.

Browse source 
Docs/Makefile.am:
  Added target for printed manual pdf.
This commit is contained in:
unknown 2000-09-05 10:46:24 -05:00
parent ef57d5f11f
commit e56e379e80
1 changed files with 10 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
Docs/Makefile.am
View file

@ -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