Search results

Mention gap-actions/update-gh-pages in README, suggest using it...

Status: Open.

#26 In gap-system/GitHubPagesForGAP;

· fingolfin opened on Sep 28, 2025

Recommend adding gh-pages to .gitignore

Status: Open.

#22 In gap-system/GitHubPagesForGAP;

· fingolfin opened on May 27, 2021

Add links to PDF version of manual

Status: Open.

#21 In gap-system/GitHubPagesForGAP;

· fingolfin opened on Feb 26, 2021

Hyperlink GitHubPagesForGAP in Initial Setup directs to 404

Status: Open.

#18 In gap-system/GitHubPagesForGAP;

· DominikBernhardt opened on Nov 10, 2019

On small phone screens, download button for .tar.gz may be hidden (at least in portrait mode)

Status: Open.

#16 In gap-system/GitHubPagesForGAP;

· fingolfin opened on Oct 25, 2018

Improve setup.sh script, make it more resilient

Status: Open.

#15 In gap-system/GitHubPagesForGAP;

· fingolfin opened on Oct 24, 2018

Offer a choice between multiple layouts / themes?

enhancement

Status: Open.

#1 In gap-system/GitHubPagesForGAP;

· fingolfin opened on Aug 22, 2014