[devhelp] generate devhelp file

Hi,

I want to generate the .devhelp2 file for GTK+ 3 documentation. When I
run make in docs/reference all documentation including html files are
built. Is there a way to only generate the devhelp files?

Thanks.