--- a/debian/cubicweb-ctl.dirs Mon Jul 22 11:21:10 2019 +0200
+++ b/debian/cubicweb-ctl.dirs Wed Jul 24 15:14:56 2019 +0200
@@ -1,7 +1,6 @@
etc/init.d
etc/cubicweb.d
usr/bin
-usr/share/doc/cubicweb-ctl
var/log/cubicweb
var/lib/cubicweb/backup
var/lib/cubicweb/instances