From ad76a744302a0c5f242d10cf72444216096014ea Mon Sep 17 00:00:00 2001 From: Dimitri Merejkowsky Date: Sat, 5 Sep 2020 12:37:07 +0200 Subject: [PATCH] No need to move pdf after building --- cours/build.py | 7 ------- 1 file changed, 7 deletions(-) diff --git a/cours/build.py b/cours/build.py index aa54c44..d8d9c31 100755 --- a/cours/build.py +++ b/cours/build.py @@ -44,13 +44,6 @@ def main(): run(program, *opts, "-d", "build", "-b", builder, "source", build_path) if format == "pdf": run("make", "-C", build_path) - # fmt: off - run( - "mv", "-v", "-f", - f"{build_path}/*.pdf", - "../cours.pdf", - ) - # fmt: on if __name__ == "__main__":