--- doc/Makefile.am.orig	2011-10-20 20:50:44.323384391 -0500
+++ doc/Makefile.am	2011-10-20 20:51:01.723198958 -0500
@@ -48,14 +48,7 @@
 $(srcdir)/vice.txt:	vice.texi
 	$(MAKEINFO) -o $(srcdir)/vice.txt --no-headers $(srcdir)/vice.texi
 
-if BUILD_PDF
-$(srcdir)/vice.pdf:	vice.texi
-	$(TEXI2DVI) -q --clean --pdf -o $(srcdir)/vice.pdf $(srcdir)/vice.texi
-
-PDF_DEPS=$(srcdir)/vice.pdf
-else
 PDF_DEPS=
-endif
 
 if BUILD_AMIGAGUIDE
 $(srcdir)/vice.guide:	vice.texi