No files in this directory right now but we need it to build the documentation,
so let's force Git to track it.
