Add files for building documentation into a Docker image for web serving. #186

Merged

witten merged 2 commits from docs-image into master

2019-05-21 03:16:32 +00:00

Author	SHA1	Message	Date
Dan Helfman	932848f6c1	Merge branch 'master' into docs-image. continuous-integration/drone/push Build is passing Details	2019-05-20 19:23:12 -07:00
Dan Helfman	9c9be65b2b	Add files for building documentation into a Docker image for web serving. the build was successful Details	2019-05-20 11:41:39 -07:00