[PROJ] proj manual, versioning, download location

[Greg Troxel]

Mike Taves <mwtoews at gmail.com> writes:

> One upside of offloading building docs to RTD is that it could free up
> Travis CI time. It takes about 8 mins for RTD to process html and pdf
> outputs.

I don't follow this, as PROJ still needs to have docs that build to
include in packages (e.g. for offline ues), and it would seem that
validating that the docs build properly should remain part of CI.

Or is there some hook to have results from RTD fed back to the main CI
to fail the build if the docs failed?