placeholder file because Git won't allow an empty dir in a repo, but Sphinx expects this dir
