Re: libstdc++ doc release scripts

[Gerald Pfeifer <gerald at pfeifer dot com>]

On Mon, 10 Dec 2012, Gabriel Dos Reis wrote:
>> ftp://gcc.gnu.org/pub/libstdc++/doxygen/
>>
>> I suppose I should clean this up and add it to either
>>
>> gcc/maintainer-scripts
>> or
>> libstdc++-v3/scripts
>>
>> Gerald, any thoughts?
> If you are envisioning it to be used by the wider GCC community
> outside libstdc++ needs then it would fit gcc/maintainer-scripts;
> otherwise I would go with libstdc++/scripts.

Does this also handle the onlinedocs/ ?  If so, I'd slightly lean
towards gcc/maintainer-scripts, though either way is fine.

Thanks for doing this!

Gerald

PS: I believe you can replace the first line of the script with
#!/bin/sh, which is our canonical shell being used.