all: $(EXFILES)
${MAKEINFO} --no-split --no-headers $(srcdir)/$(TEXI) > $(TXT)
${MAKEINFO} --no-split --html $(srcdir)/$(TEXI)
all: $(EXFILES)
${MAKEINFO} --no-split --no-headers $(srcdir)/$(TEXI) > $(TXT)
${MAKEINFO} --no-split --html $(srcdir)/$(TEXI)