PDF export is done using mkdocs-pdf-export-plugin. All configuration information is in mkdocs.yaml in the repository. Note that at some future time the docs may be migrated into the main client registry repository.
Edits to docs are made in the master branch of the client registry repository docs repo.
After docs are edited, they are pushed to origin master, and then the
mkdocs gh-deploy is run on the command line. This pushes into the gh-pages branch on GitHub. Only master is ever edited. The gh-pages is only modified by the CLI.