search

UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 23 forks source link

mmt make pdflatex should have localpaths as a dependency #523

Closed kohlhase closed 3 years ago

kohlhase commented 4 years ago

It seems that mmt make pdflatex foo.tex does not make the necessary localpaths.tex in the respective directory.

kohlhase commented 4 years ago

ooops, why was this closed? reopening This also applies to the other pdflatex-like build targets, like alltex, allpdf, ...

lambdaTotoro commented 4 years ago

I looked into this and it is a strange thing indeed. Because the dependency is there, correctly generated, the same way it is being generated in alltex or allpdf.

But, like with issue #500, somehow it is not being build. I'll keep at it.

kohlhase commented 3 years ago

this may be invalidated by #540

lambdaTotoro commented 3 years ago

I think the part that isn't invalidated by #540 is already present in #500. Closing.