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

[Julien Fischer]

On Mon, 16 Oct 2006, Zoltan Somogyi wrote:

> For review by Julien.
>
> Zoltan.
>
> doc/Mmakefile:
> 	Fix an annoyance: if TEXI2DVI is autoconfigured to a command (such
> 	as pdflatex) that generates PDFs instead of dvi files, then every make
> 	in the doc directory remakes a bunch of files, even if they are already
> 	up to date, because make thinks the dvi files are missing. This diff
> 	makes the Mmakefile care only about whether TEXI2DVI was run, not
> 	whether it generates .dvi files.
>

The diff is fine but why (and how) is TEXI2DVI autoconfigured to pdflatex? 
Is texi2dvi a symbolic link for pdflatex on the system where this is
happening?

Julien.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------