[wip/hatponboard-lib] Make the documentation generation an option
[wip/hatponboard-lib] FIX- Make the documentation generation an option

Fix previous commit, forgot to update the distinfo after patching
[wip/pcl] add pcl 1.7.1