GNU bug report logs - #8289
distcheck and make dvi

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Karl Berry <karl <at> freefriends.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#8289: closed (distcheck and make dvi)
Date: Tue, 26 May 2020 01:32:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Mon, 25 May 2020 19:31:15 -0600
with message-id <202005260131.04Q1VFAB022397 <at> freefriends.org>
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
help-debbugs <at> gnu.org.)


-- 
8289: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=8289
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: karl <at> freefriends.org (Karl Berry)
To: bug-automake <at> gnu.org
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

[Message part 3 (message/rfc822, inline)]

From: Karl Berry <karl <at> freefriends.org>
To: 8289-done <at> debbugs.gnu.org
Subject: Re: bug#8289: distcheck and make dvi
Date: Mon, 25 May 2020 19:31:15 -0600

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.