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

Julien Fischer juliensf at csse.unimelb.edu.au
Mon Oct 16 15:17:31 AEST 2006


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



More information about the reviews mailing list