diff --git a/tools/archive.py b/tools/archive.py index 6e87ea9f..d3d83890 100755 --- a/tools/archive.py +++ b/tools/archive.py @@ -1,6 +1,7 @@ #!/usr/bin/env python3 import pathlib import shutil +import subprocess import sys import xml.etree.ElementTree as etree @@ -71,6 +72,8 @@ def main(): print("XEP-{:04d}:".format(xep), old_version, "->", new_version) + subprocess.check_call(["make", "build/xep-{:04d}.html".format(xep)]) + shutil.copy(str(curr_file), str(attic_file)) changed = True