comment document's compilation due to compatibility reason

verif-scop · Jun 15, 2023 · 3cf5023 · 3cf5023
1 parent d9108b9
commit 3cf5023
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/Makefile.am b/Makefile.am
@@ -185,12 +185,12 @@ doc:
 # *                                   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
+# 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`'' > $@