To make this project more usable for non-Eclipse users, I added a POM for Maven and a run script, so it is only necessary to add a suitable options.ini. Now I only have to run ~/MibTeX/MibTeX.sh and everything works :)
Also I removed all JARs and replaced them with the latest Maven dependencies, which seems to work fine.
To make this project more usable for non-Eclipse users, I added a POM for Maven and a run script, so it is only necessary to add a suitable options.ini. Now I only have to run ~/MibTeX/MibTeX.sh and everything works :)
Also I removed all JARs and replaced them with the latest Maven dependencies, which seems to work fine.