2020-06-20 09:11:30 +00:00
|
|
|
#!/bin/sh
|
2019-11-29 09:57:32 +00:00
|
|
|
|
2020-06-02 11:58:27 +00:00
|
|
|
set -ev
|
|
|
|
|
2020-06-20 09:11:30 +00:00
|
|
|
# This shell script creates the pdf2htmlEX AppImage and Docker Images
|
2019-11-29 09:57:32 +00:00
|
|
|
|
|
|
|
#################
|
|
|
|
# do the creation
|
|
|
|
|
2020-06-12 13:53:44 +00:00
|
|
|
./buildScripts/reportEnvs
|
2019-11-29 09:57:32 +00:00
|
|
|
|
2020-06-12 13:53:44 +00:00
|
|
|
./buildScripts/createAppImage
|
2019-11-29 09:57:32 +00:00
|
|
|
|
2020-06-12 13:53:44 +00:00
|
|
|
./buildScripts/createDebianPackage
|
|
|
|
|
|
|
|
if [ -x "$(which docker)" ]; then
|
2020-06-19 16:20:53 +00:00
|
|
|
./buildScripts/createDockerUbuntuImageFromDeb
|
2020-06-12 13:53:44 +00:00
|
|
|
fi
|
2020-06-01 11:06:06 +00:00
|
|
|
|
2019-11-29 09:57:32 +00:00
|
|
|
|
|
|
|
|