Skip to content

Initialise config values before using them

David A. Ham requested to merge dham/sphinxcontrib-proof:master into master

After the proof_theorem_types config option is added, it is necessary to call init_values before adding the proof directives, otherwise only the directives for the default proof types are added and all user proof types are ignored.

Merge request reports