diff -r 000000000000 -r a5f5e3961230 debian/docs