Add links to PDF version of manual #21
Description
... now that they will be available in new releases since gap-system/ReleaseTools#79 by @zickgraf was merged.
CC @ssiccha
{{ message }}
... now that they will be available in new releases since gap-system/ReleaseTools#79 by @zickgraf was merged.
CC @ssiccha