diff options
Diffstat (limited to 'pkg/docker/Dockerfile.php7.3')
| -rw-r--r-- | pkg/docker/Dockerfile.php7.3 | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkg/docker/Dockerfile.php7.3 b/pkg/docker/Dockerfile.php7.3 index 832baa5d..ffcc3d1a 100644 --- a/pkg/docker/Dockerfile.php7.3 +++ b/pkg/docker/Dockerfile.php7.3 @@ -21,6 +21,8 @@ RUN set -x \ done; \ test -z "$found" && echo >&2 "error: failed to fetch GPG key $NGINX_GPGKEY" && exit 1; \ apt-get remove --purge --auto-remove -y gnupg1 && rm -rf /var/lib/apt/lists/* \ +# work-around debian bug 863199 + && mkdir -p /usr/share/man/man1 \ && dpkgArch="$(dpkg --print-architecture)" \ && unitPackages="unit=${UNIT_VERSION} unit-php=${UNIT_VERSION}" \ && case "$dpkgArch" in \ |