This change isolated the configuration parameters from the more complicated settings within conf.py.
Normally, an editor of the specification should no longer have to edit conf.py.
This change is also a stepping stone towards having the version number generated at build time from the latest git tag.
This change isolated the configuration parameters from the more complicated settings within conf.py. Normally, an editor of the specification should no longer have to edit conf.py.
This change is also a stepping stone towards having the version number generated at build time from the latest git tag.