Fixes for manual installation

- added JSONFILE declaration
- fixed #nodocs usage
- minor documentation fixes
- fixes for pretty html view

Change-Id: I53bbcb8f5af851f6fe1bb2a169f71bca3a580bbb
Merge "Fixes for manual installation"