/usr/share/gap/pkg/TomLib/doc /usr/share/doc/gap-table-of-marks/doc
