bootstrap.sh now also builds documentation of installed packages
Merge pull request #1682 from bjpe/bootstrap-documentation

bootstrap.sh now also builds documentation of installed packages