/usr/share/gap/pkg/Polenta/doc usr/share/doc/gap-polenta/doc
