docker build script

docker-build.sh

@@ -0,0 +1,3 @@
+#! /bin/bash
+
+docker run --rm -v $PWD:/picc-docs picc/picc-doc-build sh build.sh