diff --git a/check_times.py b/check_times.py index e561b09..9310cd4 100644 --- a/check_times.py +++ b/check_times.py @@ -78,6 +78,11 @@ def calc_time(lines: list[str]) -> None: if __name__ == "__main__": + print("Build times (HTML only; English)") + print("=======================") + print() + calc_time(get_lines("docsbuild-only-html-en.log")) + print("Build times (HTML only)") print("=======================") print()