DenysMedvid/pdf2htmlEX
1
0
Fork 0
mirror of https://github.com/pdf2htmlEX/pdf2htmlEX.git synced 2024-12-22 13:00:08 +00:00
Code

corrected docker build from debian archive

Browse Source
This commit is contained in:
Stephen Gaito 2020-06-19 12:54:04 +01:00
parent a9d178ea0b
commit b671343757
2 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
buildScripts/createDockerUbuntuImageFromDeb
View File

@ -18,11 +18,13 @@ source buildScripts/dockerFunctions
set -ev set -ev
mkdir -p imageBuild/dockerDir cd imageBuild
cd imageBuild/dockerDir mkdir -p dockerDir
cp $PWORKSPACE/$DIST/$DPKG_NAME . cp $DPKG_NAME dockerDir
cd dockerDir
if [ -z "$DOCKER_FROM" ]; then if [ -z "$DOCKER_FROM" ]; then
echo "" echo ""

2
buildScripts/reportEnvs
View File

@ -19,12 +19,14 @@ echo " make parallel: [$MAKE_PARALLEL]"
echo " distribution: [$BUILD_DIST]" echo " distribution: [$BUILD_DIST]"
echo "pdf2htmlEX env:" echo "pdf2htmlEX env:"
echo " version: [$PDF2HTMLEX_VERSION]"
echo " poppler: [$POPPLER_VERSION]" echo " poppler: [$POPPLER_VERSION]"
echo " fontforge: [$FONTFORGE_VERSION]" echo " fontforge: [$FONTFORGE_VERSION]"
echo " pdf2htmlEX: [$PDF2HTMLEX_BRANCH]" echo " pdf2htmlEX: [$PDF2HTMLEX_BRANCH]"
echo " machine arch: [$MACHINE_ARCH]" echo " machine arch: [$MACHINE_ARCH]"
echo "release env:" echo "release env:"
echo " build date: [$BUILD_DATE]"
echo " build time: [$BUILD_TIME]" echo " build time: [$BUILD_TIME]"
echo " docker from: [$DOCKER_FROM]" echo " docker from: [$DOCKER_FROM]"
echo " docker name: [$DOCKER_NAME]" echo " docker name: [$DOCKER_NAME]"