Using ReleaseTools to publish releases and update the website

[olexandr-konovalov]

We provide a template for the GAP package website at https://github.com/gap-system/GitHubPagesForGAP. It allows to automatically generate from the package meta-information a website looking similarly to the one at https://gap-packages.github.io/repsn/. It may be customised to include further test from your current website, i.e. package logo, references to publications etc.

The nice thing about this template is that it can be used in conjunction with ReleaseTools (https://github.com/gap-system/ReleaseTools) to publish releases by running a script. This way, publishing a release will take a couple of minutes. Furthermore, as far as I understand, SgpDec releases at https://github.com/gap-packages/sgpdec/releases presently contain source archives, i.e. without prebuilt manuals. We will need those in the package archive for the redistribution with GAP, and ReleaseTools will do that for you. Also, it is a good practice to make HTML version of package manual accessible from its website, and that will also be in place.