From f135ef3257edc6c2c0d057ebb9834081a0a2408d Mon Sep 17 00:00:00 2001
From: Fabrice Mouhartem <fabrice.mouhartem@ens-lyon.org>
Date: Fri, 26 Oct 2018 10:56:26 +0200
Subject: [PATCH] Makefile

---
 Makefile | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/Makefile b/Makefile
index 904ac71..3aea63e 100644
--- a/Makefile
+++ b/Makefile
@@ -3,9 +3,6 @@ OPT=--pdf --synctex --command "makeidx.style index.ist"
 
 all: main.pdf
 
-manuscrit.pdf: main.pdf
-	ps2pdf main.pdf manuscrit.pdf
-
 clean:
 	rubber --clean ${SRC}