TEXI_FILES = $(wildcard *.texi)

EXTRA_DIST_FILES += $(TEXI_FILES)