-
Giovanni Campagna authored
This way, "make zip-file && ./local-install.sh" is not needed, you just do "make local-install". Also, it allows to specify a different prefix as a make variable.
75629a46
This way, "make zip-file && ./local-install.sh" is not needed, you just do "make local-install". Also, it allows to specify a different prefix as a make variable.