Thanks for your interest in GeoGebra docs!
See Contributor Guide for Manual Repository.
The ui-bundle
contains Handlebars templates and CSS that can be adjusted.
Based on default Antora theme, adds custom langlinks
helper to link between languuages.
Check out this repository, as well as https://github.com/geogebra/manual and https://github.com/geogebra/integration so that they share the same parent folder. In the folder where you checked out this repository run
npm install
npm run dev