OPTIONS:= 3-sat: 3-sat.md pandoc -H disable_float.tex 3-sat.md -V fontsize:12pt -V geometry:"top=2cm, bottom=2cm" --filter pandoc-eqnos -o 3-sat.pdf clean: rm -rf 3-sat.pdf
