bug#60607: closed (Making dvi target do nothing)

[GNU bug Tracking System]

Your message dated Sun, 8 Jan 2023 18:57:52 -0700
with message-id <202301090157.3091vqpd026802@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@gnu.org.)


-- 
60607: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=60607
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: Making dvi target do nothing Date: Fri, 6 Jan 2023 21:53:55 +0100

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

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#60607: Making dvi target do nothing
>
>
>
>
> Date: 
>
> Sun, 8 Jan 2023 18:57:52 -0700
>
>
>
>
> Thanks. Pushed. -k
>
>
> --- End Message ---