bug#8289: closed (distcheck and make dvi)

[GNU bug Tracking System]

Your message dated Mon, 25 May 2020 19:31:15 -0600
with message-id <address@hidden>
and subject line Re: bug#8289: distcheck and make dvi
has caused the debbugs.gnu.org bug report #8289,
regarding distcheck and make dvi
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
8289: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=8289
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> 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.:
> http://comments.gmane.org/gmane.comp.sysutils.automake.general/10304
>
> 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.
>
> Thanks,
> Karl
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#8289: distcheck and make dvi
>
>
>
>
> Date: 
>
> Mon, 25 May 2020 19:31:15 -0600
>
>
>
>
>
> --- End Message ---