From f72e3c36448a90068efb56eb265c04570f316a48 Mon Sep 17 00:00:00 2001
From: Ruben Kerkhof <ruben@rubenkerkhof.com>
Date: Tue, 30 Sep 2014 19:34:14 +0200
Subject: [PATCH] Don't build dvi

We don't use them and it speeds up the build a little bit.
---
 Makefile.am | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile.am b/Makefile.am
index fdd429d5f3..270b912a04 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -33,3 +33,4 @@ install-exec-local:
 	@echo
 	@echo "***********************************************************"
 
+dvi: # do nothing to build dvi
-- 
2.47.2