diff options
Diffstat (limited to 'doc/ThornGuide')
| -rw-r--r-- | doc/ThornGuide/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/ThornGuide/Makefile b/doc/ThornGuide/Makefile index 26acb1f7..c6254cb2 100644 --- a/doc/ThornGuide/Makefile +++ b/doc/ThornGuide/Makefile @@ -48,10 +48,10 @@ $(MASTER_FILE).ps: $(MASTER_FILE).dvi $(MASTER_FILE).dvi: $(MASTER_FILE).tex @echo " Latexing $<" - latex -interaction=nonstopmode $< > LOG_LATEX_MSGS 2>&1; \ - latex -interaction=nonstopmode $< >> LOG_LATEX_MSGS 2>&1; \ - latex -interaction=nonstopmode $< >> LOG_LATEX_MSGS 2>&1; \ - latex -interaction=nonstopmode $< >> LOG_LATEX_MSGS 2>&1; \ + latex -interaction=nonstopmode $< > LOG_NULL 2>&1; \ + latex -interaction=nonstopmode $< >> LOG_NULL 2>&1; \ + latex -interaction=nonstopmode $< >> LOG_NULL 2>&1; \ + latex -interaction=nonstopmode $< | grep -v Underfull | grep -v Overfull | grep -v OT1 > LOG_LATEX_MSGS 2>&1; \ if test -e "$@"; then \ echo " $@ created."; \ else \ |