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