search

UniFormal / MMT

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

mmt make allpdf does not seem to require alltex #469

Closed kohlhase closed 4 years ago

kohlhase commented 5 years ago

I am getting 

kwarc20:en kohlhase$ mmt make allpdf
user: 'make allpdf'
user: 'make allpdf' finished
pdflatex-result: unknown file: /Users/kohlhase/localmh/MathHub/MiKoProblems/TDM/source/vcs/en/all.tex
pdflatex-result:  for: pdflatex
alltex-result: success /Users/kohlhase/localmh/MathHub/MiKoProblems/TDM/source/vcs/en/all.tex
error: pdflatex: exit code 1
pdflatex-result: failure /Users/kohlhase/localmh/MathHub/MiKoProblems/TDM/export/pdflatex/source/vcs/en/all.pdf
kwarc20:en kohlhase$ mmt make alltex
user: 'make alltex'
  alltex: /Users/kohlhase/localmh/MathHub/MiKoProblems/TDM/source/vcs/en/bug-report-markdown.tex: 
[....]
alltex: /Users/kohlhase/localmh/MathHub/MiKoProblems/TDM/source/vcs/en/quiz-actions.tex: 
alltex-result: up-to-date /Users/kohlhase/localmh/MathHub/MiKoProblems/TDM/source/vcs/en/all.tex

kwarc20:en kohlhase$ mmt  make allpdf
user: 'make allpdf'
user: 'make allpdf' finished
allpdf-result: up-to-date /Users/kohlhase/localmh/MathHub/MiKoProblems/TDM/source/vcs/en/auto
[...]
pdflatex-result: success /Users/kohlhase/localmh/MathHub/MiKoProblems/TDM/export/pdflatex/source/vcs/en/all.pdf

I think a simple added dependency should fix this.

lambdaTotoro commented 4 years ago

@kohlhase Is this still a problem? Because I can't reproduce the error you were getting and it very much looks like allpdf does depend on alltex (now?).

kohlhase commented 4 years ago

this works now.