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:
--