From 77a4aff404d034e31d26b89a4e1182093009cf6d Mon Sep 17 00:00:00 2001
From: zapashcanon <leo@ndrs.fr>
Date: Wed, 21 Aug 2019 18:16:53 +0200
Subject: [PATCH] quiet compilation

---
 .gitignore       |  1 +
 scripts/build.sh | 10 ++++------
 2 files changed, 5 insertions(+), 6 deletions(-)

diff --git a/.gitignore b/.gitignore
index b81ceb9..f70edf4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,6 +8,7 @@
 *.out
 *.cmi
 *.cmx
+*.toc
 *.o
 src/svg-inkscape/
 *.dot.svg
diff --git a/scripts/build.sh b/scripts/build.sh
index 5c45cd4..1a6a924 100755
--- a/scripts/build.sh
+++ b/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'