Docker improvements (#88)
* Docker build from local sources rather than Github cloned sources * Update INSTALL instructions for docker build from Github repo * Back to generic makefile.inc.Linux and use of env var in Dockerfile * Back to generic makefile.inc.Linux and use of env var in Dockerfile
Showing
Please
register
or
sign in
to comment