def merge_proofs(app: Sphinx, env: BuildEnvironment, docnames: Set[str], other: BuildEnvironment) -> None: if not hasattr(env, "proof_list"): env.proof_list = {} # Merge env stored data if hasattr(other, "proof_list"): env.proof_list = {**env.proof_list, **other.proof_list}
def purge_proofs(app: Sphinx, env: BuildEnvironment, docname: str) -> None: if not hasattr(env, "proof_list"): return # Override env.proof_list env.proof_list = { proof: env.proof_list[proof] for proof in env.proof_list.keys() if env.proof_list[proof]["docname"] != docname }