Having these variables in a separate file allows making changes into the
Sphinx configuration file without running './configure'.