This chapter describes how the information accessible on https://www.gap-system.org/ is stored and collected, and how it is transformed into web pages.
All the sources for the web pages are kept in the git repository https://github.com/gap-system/GapWWW. So you can clone this repository using
git clone https://github.com/gap-system/GapWWW
The website is hosted on a web server at RPTU Kaiserslautern-Landau. It use a clone of the above git repository. Whenever a commit is pushed to its master branch, the server automatically fetches the changes, runs the Jekyll tool and then serves the pages.
The README.md and etc/README.server.md in that repository explain the technical details about the website setup.
Furthermore the file dev/releases/README.md in the main GAP git repository contains instructions on how to update the website when a new GAP release is made.
generated by GAPDoc2HTML