diff -r 000000000000 -r 6b1d52c756d5 debian/docs