diff -r 000000000000 -r 7585b3934c11 debian/docs