ci: build the doc correctly

[danigm]

The current make command just shows the help, to really build the documenation we need to pass a parameter. This patch does the html build.

[langston-barrett]

Thanks @danigm!