Eric Kow <kowey@darcs.net> writes:
>> * Fix typo in release script
To clarify, this wasn't a typo, in fact it was deliberate. Rationale:
- the chatter of make website is irrelevant
- if it fails, the script tells you as much and you can run it manually
to see what was going on
- I find the extra output to be distracting from the important
release.sh messages
But I don't really care (just trying to clarify the situation). : - )
Yours,
Petr.
|