Don't print strange-looking "Usertags are now: ." message when removing all usertags.

[debbugs.git] / .travis / Dockerfile

diff --git a/.travis/Dockerfile b/.travis/Dockerfile
index cc825f6b1723fa38d3be1c6c5ffed73cc79f3276..9324d155b269e2c654df67f46c75b1dbda0fd888 100644 (file)
--- a/.travis/Dockerfile
+++ b/.travis/Dockerfile
@@ -5,7 +5,10 @@ RUN apt-get -qq update; \
  apt-get clean;
 COPY debian/control debian/control
 COPY debian/changelog debian/changelog
+# finalize debian changelog
 RUN dch -r -m '';
+# 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' \