"doc/conf.py" did not exist on "d47ce1c854a45e48a73d5a25bfe301a7b25b67a9"
-
Jan Včelák authored
Having these variables in a separate file allows making changes into the Sphinx configuration file without running './configure'.
Jan Včelák authoredHaving these variables in a separate file allows making changes into the Sphinx configuration file without running './configure'.
Loading