/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
