The files in this directory are the sources for the main documentation file.