Commit c8e144ea authored by Maxime Bombar's avatar Maxime Bombar

Delete useless macro

parent 0ca9887c
......@@ -17,7 +17,6 @@ SHELL = /bin/bash
# latexmk is a swiss army knife of latex compilation. Option -pdf to output the pdf.
PDFLATEX := latexmk -pdf
CMD = cat $*.log | grep -iE
CMDMAIN = cat main.log | grep -iE
REGEXBOX := full..hbox
WARNINGS := warning
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment