# Keeps this directory in the repository. Sphinx's html_static_path points
# here, and an empty directory is not tracked by git, so a fresh checkout
# would not have it and the -W build would fail on the missing path.
