|
|
@@ -44,7 +44,13 @@ def main(): |
|
|
|
run(program, *opts, "-d", "build", "-b", builder, "source", build_path) |
|
|
|
if format == "pdf": |
|
|
|
run("make", "-C", build_path) |
|
|
|
print("pdf generated in", build_path) |
|
|
|
# fmt: off |
|
|
|
run( |
|
|
|
"mv", "-v", "-f", |
|
|
|
f"{build_path}/courspython.pdf", |
|
|
|
"../cours.pdf", |
|
|
|
) |
|
|
|
# fmt: on |
|
|
|
|
|
|
|
|
|
|
|
if __name__ == "__main__": |
|
|
|