Thanks Bill and Jeff for the fix.
And yes, the docs build script has been updated (thanks to Robert Soulliere). I'll mark this bug as committed.
Thanks Bill and Jeff for the fix.
And yes, the docs build script has been updated (thanks to Robert Soulliere). I'll mark this bug as committed.