#!/bin/bash # This bash script creates a docker image from an existing pdf2htmlEX if [ -x "$(which docker)" ]; then source buildScripts/reSourceVersionEnvs source buildScripts/dockerFunctions mkdir -p imageBuild/dockerDir cd pdf2htmlEX/build sudo rm -rf install_manifest.txt make install DESTDIR=../../imageBuild/dockerDir cd ../../imageBuild/dockerDir copy_deps delete_blacklisted cat >> Dockerfile <