gpg.sh: rename to tty.sh

diff --git a/makefile b/makefile
index ea64021b72e5ac846565d7ed4277b56c8da7d356..fb82ec2c05f51222b154743c1b2987475828387a 100644 (file)
--- a/makefile
+++ b/makefile
@@ -1,4 +1,4 @@
-SRCS = aliases.sh compilation.sh gpg.sh most.sh options.sh sage.sh
+SRCS = aliases.sh compilation.sh most.sh options.sh sage.sh tty.sh
 
 all: $(SRCS)
        cat $(SRCS) > $@

diff --git a/gpg.sh b/tty.sh
similarity index 100%
rename from gpg.sh
rename to tty.sh