-
Jan Včelák authored
Having these variables in a separate file allows making changes into the Sphinx configuration file without running './configure'.
422cd22c
Having these variables in a separate file allows making changes into the Sphinx configuration file without running './configure'.