From: Don Armstrong <don@donarmstrong.com>
Date: Mon, 19 Mar 2018 22:24:25 +0000 (-0700)
Subject: work around slim image not providing /usr/share/man
X-Git-Url: https://git.donarmstrong.com/?p=debbugs.git;a=commitdiff_plain;h=6bbfa69e364cefa3ff11ddd5646bfefe6b485071

work around slim image not providing /usr/share/man

Work around debian slim image not providing /usr/share/man, and postgresql's
postinst failing because those directories do not exist.
---

diff --git a/.travis/Dockerfile b/.travis/Dockerfile
index 36c94d5..c5fbffa 100644
--- a/.travis/Dockerfile
+++ b/.travis/Dockerfile
@@ -16,6 +16,8 @@ RUN echo '\nPackage: *\nPin: release a=unstable\nPin-Priority: 1\n\n'\
  >> /etc/apt/preferences
 RUN echo '\nPackage: *\nPin: release a=stretch-backports\nPin-Priority: 500\n\n'\
  >> /etc/apt/preferences
+# work around slim image interacting with missing documentation
+RUN for a in $(seq 1 7); do mkdir -p /usr/share/man/man$a; done;
 RUN apt-get -qq update && \
  mk-build-deps --install \
  --tool 'apt-get -y -o Debug:pkgProblemResolver=yes --no-install-recommends' \