This directory is simply here because building with current
staticdocs versions does now work without it.