diff --git a/pdf/gen_content.py b/pdf/gen_content.py index 4eae54ab..e5fec45e 100644 --- a/pdf/gen_content.py +++ b/pdf/gen_content.py @@ -63,10 +63,10 @@ def gen_tex(sections: List[Dict[str, Any]], out: IO) -> None: for content in section["content"]: base, ext = path.splitext(content["path"]) - # verified = check_verify_status(repo, prefix, content, verbose=False) - # verified_mark = "*" if verified == "none" or verified == "expired" else "" - if ext == ".cpp": + verified = check_verify_status(repo, prefix, content, verbose=False) + verified_mark = "*" if verified == "none" or verified == "expired" else "" + preprocessed = subprocess.check_output( [ "cpp",