Skip to content

Add docker build option, mkdocs documentation#264

Merged
brienw merged 13 commits into
masterfrom
docker-builds
Oct 23, 2018
Merged

Add docker build option, mkdocs documentation#264
brienw merged 13 commits into
masterfrom
docker-builds

Conversation

@rjanja
Copy link
Copy Markdown
Contributor

@rjanja rjanja commented Oct 22, 2018

This PR adds support for local docker builds using docker run to prefix build commands. Closes #236.

This also includes a pretty big documentation clean-up (hat tip to @bitwalker for both inspiration to use mkdocs as well as instructions on building in docker).

Docs need review:

  • Generate docs via mix docs
  • Generate and serve docs (e.g. when making changes) by running ./scripts/docs/docs.sh serve

@brienw brienw merged commit 025909d into master Oct 23, 2018
@brienw brienw deleted the docker-builds branch October 23, 2018 03:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add support for local builds inside a docker container

2 participants