Merge branch 'master' of gitlab.inria.fr:adfaure/Notes

.gitignore

+slides.aux
+slides.log
+slides.nav
+slides.out
+slides.snm
+slides.toc
+slides.vrb

Makefile

 all: slides.pdf
 
 slides.pdf: slides.tex
-	rubber slides.tex
+	rubber --pdf slides
 
 clean:
-	rm slides.pdf
+	rubber --pdf --clean slides
+	rm -f slides.vrb

build.ninja

-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