/usr/share/gap/pkg/AutoDoc/doc /usr/share/doc/gap-autodoc/doc
