clean distclean mostlyclean maintainer-clean:
	rm -f tilde.??

all:
	cp tilde.texi tilde.info