The ggz-docs build seems to want to copy a few optional things from /usr/share/gtk-doc/. What is that about? Do we need this? In either case we should make this more deterministic, because otherwise the result depends on the build environment.