PROJ/docs/docbuild

Building PROJ documentation with proj-docs docker image

From the base PROJ repository directory:

cd docs
docker run -i -t -v $PWD/..:/io -w /io/docs/ ghcr.io/osgeo/proj-docs make html