diff -r 86504771a173 -r 1898ce7c3fd3 debian/docs
--- a/debian/docs	Fri Apr 28 09:28:28 2017 +0200
+++ b/debian/docs	Thu Oct 12 12:32:14 2017 +0200
@@ -0,0 +1,1 @@
+docs/*
\ No newline at end of file