diff --git a/build.ninja b/build.ninja deleted file mode 100644 index eb7d21d0b458e42b9e510694f1330b3cc2a9a7ae..0000000000000000000000000000000000000000 --- 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