1if HAVE_TEXI2DVI
2cloog.pdf: cloog.texi gitversion.texi
3	$(TEXI2DVI) --pdf $<
4endif
5
6gitversion.texi: @GIT_INDEX@
7	echo '@set VERSION '`$(top_builddir)/genversion.sh`'' > $@
8