diff --git a/dist-upload b/dist-upload new file mode 100755 index 000000000..e54c0b02c --- /dev/null +++ b/dist-upload @@ -0,0 +1,10 @@ +#!/bin/sh + +# Load version variables +. Version + +cat gstep-base-$(VERSION).tar.gz \ + | rsh alpha.gnu.ai.mit.edu \ + '(cd ~ftp/gnu; \ + rm -f gstep-base*; \ + cat > gstep-base-$(VERSION).tar.gz)'