Small fix in GTK-Doc Makefile