Re: Further work on reducing make doc output - GOP 9

[Graham Percival]

On Sun, Jan 15, 2012 at 02:47:23PM -0000, Phil Holmes wrote:
> OK - so I don't think anyone has looked at this.

Quick check:
- what does 6>&1 do?  is that a named pipe?
- in general all the symbols looks a bit iffy... if we hadn't just
  had a huge issue with python subprocess on windows, I'd suggest
  writing a python script to do this -- it might be 20 lines
  instead of 13, but IMO "stderr" is more understandable than
  "1>&6".  However, I think we've exhausted our love of python,
  so go ahead.
  oh -- maybe some comments?  IIRC # is a comment in shell script.

other than that, looks good.

- Graham