update make-vanilla-jars script
It is a suggestion to developers, could you update the option "tidy up" in the script "make-vanilla-jars" to remove unnecessary files for version 4.2.
And two consultation (and suggestion)
1.Why do you use "sed" on several lines in deployggb42 (script) rather than "-e" ?
2.The process described in https://dev.geogebra.org/tr... to install jogl1 and using "ant -f kickstart.xml geogebra4-developer-commandline"
better a single script to download everything (jogl1 and 2) and with the option "tydy up" and "cv" in "make-vanilla-jars" removing unused file, like this :
its only suggestion to developers