Sometimes, one has to run clean commands (-mmt-omdoc) multiple times. Also one should wait some seconds after cleaning commands before running the building commands (mmt-omdoc). Sometimes multiple iterations are needed to make errors vanish.
For the time being:
[x] Fix those issues, make MMT shell not return before a command hasn't finished yet.
Asynchronicity of the shell is intended according to Jazzpirate.
[ ] For the time being and for today's documentation day: document the workaround described above.
Sometimes, one has to run clean commands (
-mmt-omdoc) multiple times. Also one should wait some seconds after cleaning commands before running the building commands (mmt-omdoc). Sometimes multiple iterations are needed to make errors vanish.For the time being:
Fix those issues, make MMT shell not return before a command hasn't finished yet.Asynchronicity of the shell is intended according to Jazzpirate.