/usr/share/gap/pkg/FGA/doc usr/share/doc/gap-fga/doc
/usr/share/gap/pkg/FGA/htm usr/share/doc/gap-fga/htm
