diff options
Diffstat (limited to 'pdf/Makefile')
| -rw-r--r-- | pdf/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pdf/Makefile b/pdf/Makefile index 585b1b3..909b74d 100644 --- a/pdf/Makefile +++ b/pdf/Makefile @@ -9,7 +9,7 @@ all pdf: $(PDF) .SECONDEXPANSION: %.pdf: %.tex $$(wildcard $$*.bib) assets/*.tex latexmk $(LATEXMK_FLAGS) $(PDFLATEX_FLAGS) -pdf -f $< \ - | grep --color=always -o '.*:[0-9]*:.*\|warning.*' || true + | grep --color=always -oE '(.+:[0-9]+:|warning|(Und|Ov)erfull).*' || true mostlyclean: latexmk $(LATEXMK_FLAGS) -c |