devel-docs: fix the build in the libgimpconfig docs