Fixed #136: alltex generation in every directory.
Merge branch 'dev' of github.com:KWARC/localmh into dev