all:
	cp tilde.texi tilde.info

clean realclean maintainer-clean:
	rm -f tilde.?? tilde.info