diff -urN ../cloog-cloog-0.20.0_org/configure.ac ./configure.ac
--- ../cloog-cloog-0.20.0_org/configure.ac	2018-09-07 15:09:12.000000000 +0200
+++ ./configure.ac	2020-08-05 20:24:04.557990209 +0200
@@ -72,8 +72,6 @@
 dnl Configure needs an empty install.sh file with this, i HATE that...
 AC_PROG_INSTALL
 AC_PROG_LIBTOOL
-AC_CHECK_PROG(TEXI2DVI, texi2dvi, texi2dvi, [])
-AM_CONDITIONAL(HAVE_TEXI2DVI, test -n "$TEXI2DVI")
 
 AX_CC_MAXOPT
 AC_SUBST(CFLAGS_WARN)
diff -urN ../cloog-cloog-0.20.0_org/Makefile.am ./Makefile.am
--- ../cloog-cloog-0.20.0_org/Makefile.am	2018-09-07 15:09:12.000000000 +0200
+++ ./Makefile.am	2020-08-05 20:25:23.374989339 +0200
@@ -181,19 +181,6 @@
 	@echo "              *-----------------------------------------------*/"
 	doxygen ./autoconf/Doxyfile
 
-#/*****************************************************************************
-# *                                   Doc                                     *
-# *****************************************************************************/
-
-if HAVE_TEXI2DVI
-pdf_DATA = doc/cloog.pdf
-dist_pdf_DATA = doc/cloog.pdf
-doc/cloog.pdf: doc/cloog.texi doc/gitversion.texi
-	$(TEXI2DVI) -I $(top_builddir)/doc --pdf $< -o $@
-endif
-
-doc/gitversion.texi: @GIT_INDEX@
-	echo '@set VERSION '`$(top_builddir)/genversion.sh`'' > $@
 
 #/*****************************************************************************
 # *                                   Tests                                    *