/usr/share/gap/pkg/CrystCat/doc usr/share/doc/gap-crystcat/doc
/usr/share/gap/pkg/CrystCat/htm usr/share/doc/gap-crystcat/htm
