fix(Makefile): use '/tmp' as a tmp directory
fix(Makefile): use '/tmp' as a tmp directory

org-mode is using /tmp to generate img from LaTeX symbols. We need to copy sty files there

rlewis1988/logic_and_proof,leanprover/logic_and_proof,avigad/logic_and_proof,soonhokong/logic_and_proof,fpvandoorn/logic_and_proof,leanprover/logic_and_proof,rlewis1988/logic_and_proof,avigad/logic_and_proof,rlewis1988/logic_and_proof,avigad/logic_and_proof,leanprover/logic_and_proof,soonhokong/logic_and_proof,fpvandoorn/logic_and_proof,soonhokong/logic_and_proof,fpvandoorn/logic_and_proof