/usr/share/gap/pkg/Cryst/doc usr/share/doc/gap-cryst/doc
/usr/share/gap/pkg/Cryst/htm usr/share/doc/gap-cryst/htm
