run.sh (322B)
1 #!/bin/bash 2 3 set -eu 4 5 # Execute the dockerfile, and leave output in local system 6 7 docker run -v /home/docbuilder/docs:/output taler-docs-image 8 9 # COPY data from volume to local 10 11 cp -r /home/docbuilder/docs/html/* /home/docbuilder/build/docs/html 12 cp -r /home/docbuilder/docs/latex/*.pdf /home/docbuilder/build/docs/pdf 13 14