Modify Makefile to use ott's filtering feature.

This makes it simpler to write explanations in the tex file.
BinaryAnalysisPlatform · Jun 1, 2018 · d212707 · d212707
1 parent 2b57c98
commit d212707
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/Makefile b/Makefile
@@ -5,9 +5,10 @@ OTT_FLAGS = -tex_wrap false
 all : bil.pdf
 
 bil.pdf : bil.ott bil.tex Makefile
-	ott $(OTT_FLAGS) bil.ott -o ott.tex
-	$(LATEX) bil.tex
-	$(LATEX) bil.tex
+	ott $(OTT_FLAGS) bil.ott -o ott.tex -tex_filter bil.tex bil_filtered.tex
+	$(LATEX) bil_filtered.tex
+	$(LATEX) bil_filtered.tex
+	mv bil_filtered.pdf bil.pdf
 
 clean :
-	rm -f ott.tex bil.aux bil.pdf bil.log bil.toc bil.pdf ott.aux
+	rm -f ott.tex bil.pdf bil_filtered.tex *.log *.toc *.aux