[platform/upstream/bash.git] / lib / tilde / doc / Makefile

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

all:
        cp tilde.texi tilde.info