Re: .texi.pdf Makefile.am

[Bruce Lilly]

Bastian Kleineidam wrote:
> Well, here you go. I did not have texi2roff installed, but used texi2pdf.
> Further more, the .pdf is _not_ generated in a default "make" run.
> You have to 'make flex.pdf'.
>
> cu, Bastian

Thanks for looking into this.  The version of texi2pdf here
doesn't take a -o flag, though; it always outputs to the
specified file's base name with a .pdf suffix.

That PDF definitely looks better than one produced from tex'
dvi2ps PostScript (which is *awful*).

> ------------------------------------------------------------------------
>
> --- Makefile.am 2002-09-09 15:59:58.000000000 +0200
> +++ Makefile.am.patched 2002-09-18 14:11:21.000000000 +0200
> @@ -86,8 +86,24 @@
>         FlexLexer.h
>  
>  info_TEXINFOS =	flex.texi
> +pdf_TEXINFOS = flex.texi
>  man_MANS = flex.1
>  
> +# Bruce's approach texi -> roff -> ps -> pdf
> +# Hmm, texi2roff is unmaintained: http://texinfo.org/texi2roff/
> +#.texi.pdf:
> +#      texi2roff -ms $< > $(<:.texi=.ms) 2>/dev/null
> +#      groff -Tps -ms $(<:.texi=.ms) > $(<:.texi=.gps) 2>/dev/null
> +#      ps2pdf $(<:.texi=.gps) $@
> +#      rm -f $(<:.texi=.ms) $(<:.texi=.gps)
> +
> +# using tetex: texi -> dvi -> pdf
> +.texi.pdf:
> +       texi2pdf $< -o $@
> +
> +clean-local:
> +       rm -f $(pdf_TEXINFOS:.texi=.pdf)
> +
>  EXTRA_DIST = \
>         AUTHORS \
>         COPYING \