James Addison a6c2bdd371 Rename template files in Sphinx to use the `.jinja` extension (#12364)

2024-07-11 12:31:35 +01:00

..

extra

Rename template files in Sphinx to use the `.jinja` extension (#12364)

2024-07-11 12:31:35 +01:00

static

Rename template files in Sphinx to use the `.jinja` extension (#12364)

2024-07-11 12:31:35 +01:00

subdir

Run *.png through zopflipng -m

2016-07-07 18:34:18 +03:00

conf.py

doc: Add explanation for the priority attribute of html_*_files

2021-01-03 00:16:10 +09:00

index.rst

Refactor: Use copy_asset() to copy html_static_path

2016-07-07 00:06:54 +09:00