Name		Name	Last commit message	Last commit date
parent directory ..
root		root
README.md		README.md
SECURITY_AUDIT.pdf		SECURITY_AUDIT.pdf
build.sh		build.sh
conf.py		conf.py
empty_extensions.json		empty_extensions.json
generate_extension_db.py		generate_extension_db.py
generate_extension_rst.py		generate_extension_rst.py
publish.sh		publish.sh
requirements.txt		requirements.txt

README.md

Developer-local docs build

./docs/build.sh

The output can be found in generated/docs.

How the Envoy website and docs are updated

The docs are published to docs/envoy/latest on every commit to master. This process is handled by CircleCI with the publish.sh script.
The docs are published to docs/envoy in a directory named after every tagged commit in this repo. Thus, on every tagged release there are snapped docs.