[m-rev.] for review: doc/Makefile

[Zoltan Somogyi]

On 16-Oct-2006, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> The diff is fine but why (and how) is TEXI2DVI autoconfigured to pdflatex? 

It isn't; it is autoconfigured to "texi2dvi"

> Is texi2dvi a symbolic link for pdflatex on the system where this is
> happening?

No.

The man page of texi2dvi states that it has a --pdf option. On my laptop
(alys), it seems to be switched on by default, even though none of the
environment variables mentioned by the texi2dvi man page are set.

The man page does mention that texi2dvi will use etex or pdfetex when
available, and on alys both are in fact available. However, the etex
documentation doesn't seem to give any conditions under which it would
default to generating pdf either.

Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------