[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