geocat/jenkins-docker-agent-web repository overview

⁠jenkins-docker-agent-web

Jenkins agent with the tools needed to build GeoNetwork⁠ website. Includes:

• Maven
• Ant
• LaTex
• Sphinx
• Other tools (check Dockerfile)

Image at https://hub.docker.com/⁠