bug#60607: Making dvi target do nothing

2023-01-06 Thread Nick Bowler
On 2023-01-06, Reuben Thomas via Bug reports for Automake wrote: > 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 T

bug#60607: Making dvi target do nothing

2023-01-06 Thread Reuben Thomas via Bug reports for Automake
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: $(EM