diff --git a/cours/.gitignore b/cours/.gitignore index 89ab085..567609b 100644 --- a/cours/.gitignore +++ b/cours/.gitignore @@ -1,2 +1 @@ -*.pdf build/ diff --git a/cours/build.py b/cours/build.py index 4c5d395..649c95b 100644 --- a/cours/build.py +++ b/cours/build.py @@ -7,7 +7,7 @@ def main(): template = Path("build.in.ninja").text() to_write = template for md_file in Path(".").files("*.md"): - to_write += f"build ../{md_file.with_suffix('.pdf')}: pandoc ../{md_file}\n" + to_write += f"build {md_file.with_suffix('.pdf')}: pandoc ../{md_file}\n" build_path = Path("build") build_path.mkdir_p() out = build_path / "build.ninja"