/usr/share/gap/pkg/RadiRoot/doc /usr/share/doc/gap-radiroot/doc
