/usr/share/gap/pkg/tomlib/doc /usr/share/doc/gap-table-of-marks/doc
/usr/share/gap/pkg/tomlib/htm /usr/share/doc/gap-table-of-marks/tomdiff
