/usr/share/gap/pkg/utils/doc usr/share/doc/gap-utils/doc
