usr/share/gap/pkg/GAPDoc/doc usr/share/doc/gap-gapdoc/doc
usr/share/gap/pkg/GAPDoc/example usr/share/doc/gap-gapdoc/example
usr/share/gap/pkg/GAPDoc/3k+1 usr/share/doc/gap-gapdoc/3k+1
