/usr/share/gap/pkg/HAPcryst/doc usr/share/doc/gap-hapcryst/doc
/usr/share/gap/pkg/HAPcryst/lib/datatypes/doc usr/share/doc/gap-hapcryst/lib/datatypes/doc
