>>> "Robert" == Robert Collins <[EMAIL PROTECTED]> writes:
[...] Robert> This means: Robert> build dist tree Robert> compress with compressor 1 Robert> compress with compressor 2 Robert> clean dist tree This is the current behavior of `make dist'. [...] -- Alexandre Duret-Lutz