dvi and distcheck ¶Ordinarily, make distcheck runs make dvi. It does
nothing if the distribution contains no Texinfo sources. If the
distribution does contain a Texinfo manual, by default the dvi
target will run TeX to make sure it can be successfully processed
(see Texinfo).
However, you may wish to test the manual by producing pdf
(e.g., if your manual uses images in formats other than eps),
html (if you don’t have TeX at all), some other format, or
just skip the test entirely (not recommended). You can change the
target that is run by setting the variable
AM_DISTCHECK_DVI_TARGET in your Makefile.am; for
example,
AM_DISTCHECK_DVI_TARGET = pdf
To make dvi into a do-nothing target, see the example for
EMPTY_AUTOMAKE_TARGETS in Third-Party Makefiles.