Don't build dvi

We don't use them and it speeds up the build a little bit.

diff --git a/Makefile.am b/Makefile.am
index fdd429d5f388741ff15b0ca8fa80ba46532159a9..270b912a0458862e6c34159e9ec9dc429211e9c9 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -33,3 +33,4 @@ install-exec-local:
        @echo
        @echo "***********************************************************"
 
+dvi: # do nothing to build dvi