bug#8289: distcheck and make dvi

[Karl Berry]

Hi Jack,

    New automake options? Something like:

I like my idea of a variable better :).
Seems simpler/less intrusive/more general.

Best,
k