Merge change 9009 into donut

* changes:
  Reapply modifications from 3175 to fix display of navTree in doc output.
tree: 65ac2dab69225320078da23c0adb40cfbe94ae63
  1. core/
  2. libs/
  3. target/
  4. tools/
  5. buildspec.mk.default
  6. cleanspec.mk
  7. envsetup.sh