diff options
| author | unknown <jcole@tetra.spaceapes.com> | 2000-09-19 01:13:26 -0500 |
|---|---|---|
| committer | unknown <jcole@tetra.spaceapes.com> | 2000-09-19 01:13:26 -0500 |
| commit | e8b5e1d1328d83131db1e2a01649ce05ae53da02 (patch) | |
| tree | 312acecb31ea6ee5dbf594831a374361a1d7441f /Docs/Makefile.am | |
| parent | 904655e6d2db88c0b0fa16b81b09dfd998ec6ce8 (diff) | |
| download | mariadb-git-e8b5e1d1328d83131db1e2a01649ce05ae53da02.tar.gz | |
work to create nusphere.pdf automagically.
Docs/Makefile.am:
removed print-manual.pdf
added nusphere.pdf
Docs/manual.texi:
cleaned up the header a bit
added conditionals for nusphere.pdf
BitKeeper/etc/logging_ok:
Logging to logging@openlogging.org accepted
Diffstat (limited to 'Docs/Makefile.am')
| -rw-r--r-- | Docs/Makefile.am | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/Docs/Makefile.am b/Docs/Makefile.am index b9fa5401a37..cd539277c70 100644 --- a/Docs/Makefile.am +++ b/Docs/Makefile.am @@ -69,12 +69,17 @@ manual.pdf: manual.texi touch $@ # Target to produce NuSphere Manual -print-manual.pdf: manual.texi - cat manual.texi | sed -e 's|@image{[^}]*} *||g' > manual-tmp.texi; \ +nusphere.pdf: manual.texi + cat manual.texi \ + | sed -e 's/@example/@smallexample/g' \ + -e 's/@end example/@end smallexample/g' \ + -e 's/@c ifnusphere //g' \ + -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 $@; \ + mv manual-tmp.pdf nusphere.pdf; \ rm -f manual-tmp.* ; \ touch $@ |