diff -r a5d087334439 -r dd11d1262b6c debian/docs