final bijna

[ar1516.git] / Makefile

diff --git a/Makefile b/Makefile
index 4efd4f1..eeb35e7 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -20,7 +20,7 @@ all: $(DOCUMENT).pdf
        $(LATEX) -ini -jobname="$(basename $@)" "&$(LATEX) $<\dump"
 
 a%.tex: src/a%.bash src src/a%.py
-       bash $< $@ >/dev/null
+       bash $< $@
 
 clean:
        $(RM) -v $(addprefix $(DOCUMENT).,fmt aux log out toc pdf) $(SOLUTIONS)