quiet compilation

.gitignore

@@ -8,6 +8,7 @@
 *.out
 *.cmi
 *.cmx
+*.toc
 *.o
 src/svg-inkscape/
 *.dot.svg

scripts/build.sh

@@ -4,13 +4,11 @@ set -eu
 
 ( cd "$(dirname "$0")"/../src
 
-  c="xelatex -interaction=batchmode -halt-on-error -shell-escape"
-  c="xelatex -shell-escape -halt-on-error"
+  c="texfot xelatex -shell-escape -halt-on-error"
 
-  $c main.tex
+  $c main.tex | sed '/Output written/d' | sed '/Rerun to get \/Page/d' | sed '/Warning: Citation/d' | sed '/Warning: Empty bib/d' | sed '/has changed/d' | sed '/Warning: There were/d' | sed '/biblatex Warning/d'
   biber -quiet main
-  # xelatex -shell-escape src/main.tex
-  $c main.tex
+  $c main.tex | sed '/Output written/d' | sed '/Warning: There were/d' | sed '/biblatex Warning/d'
   $c main.tex
   mv main.pdf ../main.pdf
-)
+) | sed '/This is/d' | sed '/texfot: invoking/d'