From de6a21cafdbe61c01c998955d323338336283d93 Mon Sep 17 00:00:00 2001
From: Dimitri Merejkowsky <d.merej@gmail.com>
Date: Fri, 8 Nov 2019 20:15:42 +0100
Subject: [PATCH] =?UTF-8?q?G=C3=A9n=C3=A9ration=20des=20pdf=20dans=20build?=
 =?UTF-8?q?/?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 cours/.gitignore | 1 -
 cours/build.py   | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

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"