
3 Jan
2013
3 Jan
'13
7:44 p.m.
AFAIK we don't do anything special when generating the documentation so this feels like an upstream bug.
I thought so, too, but I couldn't figure out what the upstream intent was because, as you say, we just use what they give us here. I thought somebody around here might have an idea, rather than me just pushing it upstream directly.
Maybe we should drop the use of the upstream script and use something simpler instead. This seems to work well enough:
Works for me! Thanks.