[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#8289: distcheck and make dvi

From: Karl Berry
Subject: bug#8289: distcheck and make dvi
Date: Fri, 18 Mar 2011 23:33:14 GMT

Hi Ralf and all,

make distcheck runs make dvi.  If an author has only made .pdf's with
images, this will cause a surprising error that .eps files are missing.
(Someone just wrote me about this.)

I see the issue has been noted before, e.g.:

I suggest that the workaround Ralf suggests there -- an empty make rule
for dvi: -- be explicitly documented.  Another (often preferable) option
is to create and distribute the .eps files, of course.

Another possible change, in addition to messing with the documentation,
would be to make the "dvi" a variable that such non-dvi-generating
people can override with "pdf" if they wish.  Then they could get the
benefit of the check in a clean way without forcing .eps.  Or maybe
dvi: pdf
would have the same effect?  I'm not sure.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]