Adding gnome-doc-utils.make from a previous build is a simple hack, since
gnome recommends to use mallard and reorganise help in numerous small
topics instead of long pages.