From 088caa3d6e5ac079592342c06974f8baca75a19c Mon Sep 17 00:00:00 2001
From: Millian Poquet <millian.poquet@inria.fr>
Date: Wed, 26 Jun 2019 19:00:03 +0200
Subject: [PATCH] [TutoNix] remove unused ninja

---
 build.ninja | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 build.ninja

diff --git a/build.ninja b/build.ninja
deleted file mode 100644
index eb7d21d..0000000
--- a/build.ninja
+++ /dev/null
@@ -1,4 +0,0 @@
-rule rubber_pdf
-    command = rubber -Wall --pdf $in
-
-build paper.pdf paper.aux paper.bbl paper.bcf paper.blg paper.log paper.run.xml: rubber_pdf paper.tex
-- 
GitLab