GNU bug report logs - #60607
Making dvi target do nothing

Previous Next

Package: automake;

Reported by: Reuben Thomas <rrt <at> sc3d.org>

Date: Fri, 6 Jan 2023 20:55:02 UTC

Severity: normal

Done: Karl Berry <karl <at> freefriends.org>

Bug is archived. No further changes may be made.

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#60607: closed (Making dvi target do nothing)
Date: Mon, 09 Jan 2023 01:58:02 +0000
[Message part 1 (text/plain, inline)]
Your message dated Sun, 8 Jan 2023 18:57:52 -0700
with message-id <202301090157.3091vqpd026802 <at> freefriends.org>
and subject line Re: bug#60607: Making dvi target do nothing
has caused the debbugs.gnu.org bug report #60607,
regarding Making dvi target do nothing
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
60607: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=60607
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
From: Reuben Thomas <rrt <at> sc3d.org>
To: bug-automake <bug-automake <at> gnu.org>
Subject: Making dvi target do nothing
Date: Fri, 6 Jan 2023 21:53:55 +0100
[Message part 3 (text/plain, inline)]
I'm using automake 1.16.5. The advice about how to disable the "dvi" target
doesn't seem to work.

In the manual it says:

   To make ‘dvi’ into a do-nothing target, see the example for
‘EMPTY_AUTOMAKE_TARGETS’ in *note Third-Party Makefiles::.

If I have:

EMPTY_AUTOMAKE_TARGETS = dvi
.PHONY: $(EMPTY_AUTOMAKE_TARGETS)
$(EMPTY_AUTOMAKE_TARGETS):

in my Makefile.am, then "TEXI2DVI" is still run by "make distcheck".

If I instead have:

dvi:

then it is not.

-- 
https://rrt.sc3d.org
[Message part 4 (text/html, inline)]
[Message part 5 (message/rfc822, inline)]
From: Karl Berry <karl <at> freefriends.org>
To: 60607 <at> debbugs.gnu.org, 60607-done <at> debbugs.gnu.org
Subject: Re: bug#60607: Making dvi target do nothing
Date: Sun, 8 Jan 2023 18:57:52 -0700
Thanks. Pushed. -k


This bug report was last modified 2 years and 132 days ago.

Previous Next


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