Merge change 7885

* changes:
  Add a separate version of the docs build that only does the stubs.