mmt make pdflatex should require localpaths.tex

UniFormal / MMT

The MMT Language and System

https://uniformal.github.io/

Other

68 stars 23 forks source link

mmt make pdflatex should require localpaths.tex #470

Closed kohlhase closed 4 years ago

kohlhase commented 5 years ago

If I remember correctly, currently only the alltex target makes localpaths.tex (and some others), but at least the pdflatex and allpdf targets should do so as well. There may be more. We should think about a new target that makes these files and call that wherever necessary.

lambdaTotoro commented 4 years ago

This was solved along with #515, hence I'll close this. If I missed some target, please feel free to let me know.